Spec: Integrate the specification for match types.#22164

odersky merged 1 commit intoscala:mainscala/scala3:mainfrom

sjrd:spec-match-typessjrd/dotty:spec-match-typesCopy head branch name to clipboard