Spec: Integrate the specification for match types.#22164

Merged

odersky merged 1 commit intoscala:mainfrom

sjrd:spec-match-types

Jan 9, 2025

Commits on Dec 9, 2024

Spec: Integrate the specification for match types.
sjrd
committed