Skip to content

Error instead of crash when generating trees referring to skolems#24380

Merged
smarter merged 2 commits intoscala:mainfrom
dotty-staging:valueOf-crash
Nov 13, 2025
Merged

Error instead of crash when generating trees referring to skolems#24380
smarter merged 2 commits intoscala:mainfrom
dotty-staging:valueOf-crash

Commits

Commits on Nov 13, 2025