Use the correct annotation for type pattern definitions#8692

Merged

nicolasstucki merged 1 commit intoscala:masterfrom

dotty-staging:use-correct-annotation-for-type-patterns

Apr 8, 2020

Commits on Apr 8, 2020

Use the correct annotation for type pattern definitions
nicolasstucki
committed