From 666c78468fbec9526c40e82e08a7cfa17b57386e Mon Sep 17 00:00:00 2001 From: Brummel Date: Mon, 11 May 2026 09:39:47 +0200 Subject: [PATCH] iter ct.3.3: retire obsolete ambiguous-type paragraph in migrate-canonical-types docstring --- crates/ail/src/main.rs | 9 --------- 1 file changed, 9 deletions(-) diff --git a/crates/ail/src/main.rs b/crates/ail/src/main.rs index 2ecce70..be5095f 100644 --- a/crates/ail/src/main.rs +++ b/crates/ail/src/main.rs @@ -234,15 +234,6 @@ enum Cmd { /// migration silently picks the first match. Prelude is consulted /// as an implicit last-resort fallback when no listed import owns /// the name. - /// - /// Note: this is one-shot dev tooling and intentionally weaker - /// than the typecheck-time `ambiguous-type` diagnostic shipped in - /// iter 23.1.3, which fires through the type-checker on multi- - /// import collisions. The two are different rules at different - /// layers; do not assume parity. The expected usage is to run - /// the migration once on a fixture corpus that does not exhibit - /// genuine multi-import ambiguity, then let the typechecker - /// enforce the stricter rule going forward. MigrateCanonicalTypes { /// Directory containing `*.ail.json` to migrate (typically /// `examples/`).