Skip to content

Recover from TypeErrors in isErroneous#15442

Merged
odersky merged 1 commit intoscala:mainfrom
dotty-staging:fix-15293
Jun 15, 2022

Commits

Commits on Jun 14, 2022