Skip to content

WIP: Keep skolem types when unpickling/bringing a denotation to a new run, in more cases#22856

Draft
jchyb wants to merge 3 commits intoscala:mainfrom
dotty-staging:fix-i22585-skolem-inline

Commits

Commits on Mar 21, 2025

Commits on Mar 25, 2025