Skip to content

Fix #13757: Explicitly disallow higher-kinded scrutinees of match types.#17322

Merged
sjrd merged 1 commit intoscala:mainfrom
dotty-staging:forbid-match-type-anykind
Apr 20, 2023
Merged

Fix #13757: Explicitly disallow higher-kinded scrutinees of match types.#17322
sjrd merged 1 commit intoscala:mainfrom
dotty-staging:forbid-match-type-anykind

Commits

Commits on Apr 20, 2023