Skip to content

Avoid crash in erasure when reference cannot be emitted#18056

Merged
odersky merged 2 commits intoscala:mainfrom
dotty-staging:fix-17391
Jul 3, 2023
Merged

Avoid crash in erasure when reference cannot be emitted#18056
odersky merged 2 commits intoscala:mainfrom
dotty-staging:fix-17391

Commits

Commits on Jun 26, 2023