Brummel 97bb5e71fd iter ct.2.3: Term::Ctor synth direct lookup; delete imports-fallback + dead AmbiguousType

2026-05-11 09:21:36 +02:00

..

src

iter ct.2.3: Term::Ctor synth direct lookup; delete imports-fallback + dead AmbiguousType

2026-05-11 09:21:36 +02:00

tests

iter 23.1.3: implicit prelude import + symmetric bare-type-name imports-fallback in Term::Ctor synth

2026-05-10 21:24:16 +02:00

Cargo.toml

Iter 18c.2: linearity check + suggested_rewrites

2026-05-08 10:06:14 +02:00