main ← soronpo:claude/sip-inline-match-types
opened 07:55PM - 09 May 26 UTC
Introduces 'inline X match' as a type-level analog of 'inline x match'. Cases ar…e first-match-wins with no disjointness check; the form requires its scrutinee to be concrete at every use site, which prevents the SIP-56 soundness chain (no abstract Foo[X] in signatures means no variance-driven cross-context disagreement). Closes the "specific case first, general fallthrough" UX failure that current match types cannot express without final/sealed hierarchies or summonFrom scaffolding.