Skip to content

Simplify avoidance of local types of Hole#17571

Merged
smarter merged 1 commit intoscala:mainfrom
dotty-staging:simplify-quote-pickling-hole-type-avoidance
May 25, 2023

Commits

Commits on May 24, 2023