feat: infer generic type arguments (make the turbofish optional) - #31

Merged

math3usmartins merged 9 commits into

0.3.xfrom

feat/infer-generic-type-arguments

Jul 30, 2026

Commits on Jul 29, 2026

feat(inference): add pure type-argument unifier and inference driver

math3usmartins
and
claude
committed
feat(inference): type literals and constructions for inference

math3usmartins
and
claude
committed
feat(monomorphize): infer type arguments for generic calls

math3usmartins
and
claude
committed
feat(monomorphize): infer type arguments for bare `new`

math3usmartins
and
claude
committed
fix(monomorphize): reword the missing-turbofish diagnostic for inference

math3usmartins
and
claude
committed
docs(inference): document optional turbofish via type-argument inference

math3usmartins
and
claude
committed
fix(monomorphize): don't infer a call argument typed by a type parameter

math3usmartins
and
claude
committed
docs(inference): note the simple-name type-parameter collision fallback

math3usmartins
and
claude
committed
fix(monomorphize): infer bare `new` bottom-up so nested generics match

math3usmartins
and
claude
committed