SIP-56 - Proper Specification for Match Types.#65

Merged

anatoliykmetyuk merged 8 commits intoscala:mainfrom sjrd:match-types-spec

Dec 11, 2023

+579

Commits on Aug 11, 2023

Add SIP-56: Proper Specification for Match Types.
sjrd
committed

Commits on Aug 14, 2023

Commits on Aug 23, 2023

Add proposed specification of provably disjoint.
sjrd
committed

Commits on Aug 30, 2023

Commits on Aug 31, 2023

Fix the matching rule for compiletime.int.S.
sjrd
committed