Just warn on type ascription on a pattern#17454

Merged

Kordyjan merged 2 commits intoscala:mainfrom

dotty-staging:pattern-type-ascription-warning

May 12, 2023

Commits on May 10, 2023

Raise a warning instead of an error for a type ascription on a pattern other than a variable or a number literal.
prolativ
committed

Commits on May 11, 2023

* Preserve the more restrictive syntax for typed patterns in the language specification
prolativ
committed