Skip to content

Improve subtyping check for not yet eta-expanded higher kinded types#17139

Merged
odersky merged 1 commit intoscala:mainfrom
prolativ:higher-kinded-type-better-subtyping
Apr 22, 2023

Commits

Commits on Mar 23, 2023