Skip to content

Refine criterion when to skip identifiers in pattern constructors#15367

Merged
noti0na1 merged 1 commit intoscala:mainfrom
dotty-staging:fix-15347
Jun 6, 2022

Commits

Commits on Jun 3, 2022