Do not warn on underscore wildcard type in pattern#19249

Merged

dwijnand merged 1 commit intoscala:mainfrom

dotty-staging:do-not-warn-on-pattern-type-underscore

Dec 12, 2023

Commits on Dec 12, 2023

Do not warn on underscore wildcard type in pattern
nicolasstucki
committed