Allow renames of givens generated by derives clauses - 'as' in derives#1
Open
arainko wants to merge 3 commits into
Open
Allow renames of givens generated by derives clauses - 'as' in derives#1arainko wants to merge 3 commits into
derives clauses - 'as' in derives#1arainko wants to merge 3 commits into