8000 Allow renames of givens generated by `derives` clauses - 'as' in derives by arainko · Pull Request #1 · arainko/dotty · GitHub
[go: up one dir, main page]
Skip to content

Allow renames of givens generated by derives clauses - 'as' in derives - #1

Open
arainko wants to merge 3 commits into
mainfrom
as-in-derives
Open

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

Commits

  1. Commits on Nov 10, 2024

  2. Commits on Nov 20, 2024
0