Skip to content

Allow class parents to be refined types.#19256

Closed
odersky wants to merge 1 commit intoscala:mainfrom
dotty-staging:add-refined-parents

Commits

Commits on Jan 6, 2024