Make opaque type refinements of inline proxy objects abstract type constructors#20903

Open

EugeneFlesselle wants to merge 2 commits intoscala:mainfrom

dotty-staging:mt-opaque-inline-2

Commits on Jul 1, 2024

Test inlining of match types with opaque types

smarter
authored and
EugeneFlesselle
committed
Make opaque type refinements of inline proxy objects abstract tycons
EugeneFlesselle
committed