Add refined tupled records prototype#7731

Merged

nicolasstucki merged 10 commits intoscala:masterfrom

dotty-staging:refined-selectable

Dec 20, 2019

Commits on Dec 12, 2019

Add basic structure for refined selectable macros

biboudis
and
nicolasstucki
committed

Commits on Dec 15, 2019

Apply suggestions from code review

Aggelos Biboudis
and
nicolasstucki
authored

Commits on Dec 16, 2019

Commits on Dec 18, 2019

Add negtests and apply as macro to remove the need for asInstanceOf
biboudis
committed