Skip to content

Survive TypeErrors in isMatchedBy#15675

Merged
griggt merged 1 commit intoscala:mainfrom
dotty-staging:fix-15673
Jul 15, 2022
Merged

Survive TypeErrors in isMatchedBy#15675
griggt merged 1 commit intoscala:mainfrom
dotty-staging:fix-15673

Commits

Commits on Jul 15, 2022