Skip to content

Draft: Overloading result-based pruning shouldn't prefer inapplicable alt#21730

Closed
smarter wants to merge 1 commit intoscala:mainfrom
dotty-staging:i21410

Commits

Commits on Oct 8, 2024