fix(monomorphize): ground enclosing-param method-generic turbofish per specialization - #27

Merged

math3usmartins merged 9 commits into

0.3.xfrom

fix/method-turbofish-enclosing-param-grounding

Jul 27, 2026

Commits on Jul 25, 2026

feat(specializer): substitute method-generic turbofish args on all call-node kinds

math3usmartins
and
claude
committed

Commits on Jul 26, 2026

feat(monomorphize): ground named-forward turbofish via an append drain

math3usmartins
and
claude
committed
feat(monomorphize): ground enclosing-param method turbofish per class specialization

math3usmartins
and
claude
committed
feat(monomorphize): ground enclosing-param instance turbofish per class specialization

math3usmartins
and
claude
committed
docs: document enclosing-param turbofish grounding

math3usmartins
and
claude
committed
fix(monomorphize): confine spec grounding to the spec's own body and align check diagnostics

math3usmartins
and
claude
committed
fix(monomorphize): prune retained templates from the check backstop, severity-aware dedupe

math3usmartins
and
claude
committed
refactor(monomorphize): reattach constructor docblock and skip templates in grounding pre-scan

math3usmartins
and
claude
committed

Commits on Jul 27, 2026

docs: clarify that forwarding a method-level type parameter is unsupported

math3usmartins
and
claude
committed