(!) Closure signature types, out/in variance markers, and a validating compile gate#23

Open

math3usmartins wants to merge 76 commits into

0.3.xfrom

feat/closure-signature-types

Commits on Jul 6, 2026

feat(closure-sig): add closure-signature type representation

math3usmartins
and
claude
committed
feat(closure-sig): parse and erase closure signature types

math3usmartins
and
claude
committed
fix(closure-sig): recognize keyword types, length-preserve erasure, byte-key markers

math3usmartins
and
claude
committed
feat(closure-sig): add closure-signature conformance engine

math3usmartins
and
claude
committed
feat(closure-sig): extract a closure literal's declared signature

math3usmartins
and
claude
committed
feat(monomorphize): gate closure-literal factories against their Closure(...) return type

math3usmartins
and
claude
committed
feat(monomorphize): re-check closure factories after grounding their generic return type

math3usmartins
and
claude
committed
fix(monomorphize): accept a closure factory whose return targets a built-in supertype

math3usmartins
and
claude
committed
docs: document Closure(...) signature types and conformance checking

math3usmartins
and
claude
committed
feat(monomorphize): variance-check union and intersection members in closure signatures

math3usmartins
and
claude
committed
feat(monomorphize): structure a closure literal's union/intersection/nullable types

math3usmartins
and
claude
committed
feat(monomorphize): structure flat union/intersection/nullable in target signatures

math3usmartins
and
claude
committed
feat(monomorphize): ground type parameters inside union/intersection signature members

math3usmartins
and
claude
committed
test(monomorphize): pin the sub-intersection gradual-accept paths against compound supers

math3usmartins
and
claude
committed
docs: document union, intersection, and nullable members in Closure(...) signatures

math3usmartins
and
claude
committed
docs: sharpen closure-signature DNF limitation and a code comment

math3usmartins
and
claude
committed
fix(monomorphize): map anonymous template markers through the byte-offset map

math3usmartins
and
claude
committed
docs(changelog): record the generic-closure marker offset fix

math3usmartins
and
claude
committed
fix(monomorphize): scan parenthesised DNF groups as single signature type leaves

math3usmartins
and
claude
committed
docs: DNF groups in closure signatures are now gradual, not unsupported

math3usmartins
and
claude
committed
fix(monomorphize): resolve fully-qualified literal types absolutely in conformance

math3usmartins
and
claude
committed
docs(changelog): record the fully-qualified literal-type conformance fix

math3usmartins
and
claude
committed
fix(monomorphize): bind relative namespace\Foo literal types to the namespace, not a use alias

math3usmartins
and
claude
committed
test(monomorphize): pin the scanner shapes two equivalence claims got wrong

math3usmartins
and
claude
committed
fix(monomorphize): lower array-sugar leaves inside Closure signatures to array

math3usmartins
and
claude
committed
docs: array-sugar leaves in closure signatures lower to array

math3usmartins
and
claude
committed
fix(monomorphize): consume chained array sugar whole inside Closure signatures

math3usmartins
and
claude
committed
fix(monomorphize): bind relative namespace\Foo names to the namespace in string resolution

math3usmartins
and
claude
committed
docs(changelog): record the relative-name resolution fix

math3usmartins
and
claude
committed
fix(monomorphize): require a declaration header before treating `) :` as a return slot

math3usmartins
and
claude
committed
docs(changelog): record the return-slot detector fix

math3usmartins
and
claude
committed
fix(monomorphize): prove non-subtyping against built-in targets for closed-world candidates

math3usmartins
and
claude
committed
fix(monomorphize): accept keyword method names and generic clauses in return-slot headers

math3usmartins
and
claude
committed
docs(changelog): record the built-in-target conformance and enum-edge fixes

math3usmartins
and
claude
committed
docs: precise wording for when a built-in conformance target can reject

math3usmartins
and
claude
committed
test(monomorphize): pin the built-in-candidate, aliased-Stringable, and trait-__toString accepts

math3usmartins
and
claude
committed
test(monomorphize): pin the static use-call reject and fix two comment slips

math3usmartins
and
claude
committed

Commits on Jul 7, 2026

Commits on Jul 8, 2026