Skip to content

Survive TypeErrors in isMatchedBy#15675

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

Commits

Commits on Jul 15, 2022