diff --git a/crates/ailang-core/src/workspace.rs b/crates/ailang-core/src/workspace.rs index 2329cc1..603aac4 100644 --- a/crates/ailang-core/src/workspace.rs +++ b/crates/ailang-core/src/workspace.rs @@ -2393,21 +2393,20 @@ mod tests { // `prelude.Ordering`). `ct1_fixture_bare_xmod_rejected` relocated // to `crates/ailang-core/tests/workspace_pin.rs` in iter pd.2. - /// on-disk fixture for `BadCrossModuleTypeRef`. Qualified - /// `Mystery.Type` with `Mystery` not a known module. + // on-disk fixture for `BadCrossModuleTypeRef`. Qualified + // `Mystery.Type` with `Mystery` not a known module. // `ct1_fixture_bad_qualifier` relocated to // `crates/ailang-core/tests/workspace_pin.rs` in iter pd.2. - /// on-disk fixture for the post-canonical-class-form rejection path. The - /// fixture declares `instance prelude.Eq Int` outside the prelude - /// and outside Int's defining module — under the canonical-form - /// rule the qualified `prelude.Eq` ref is now schema-valid (post- - /// class references in canonical form), and the downstream coherence check rejects the instance - /// with `OrphanInstance` instead. - /// - /// Pre-canonical-class-form this test asserted `QualifiedClassName` on the same - /// fixture; the rename + reshape is the on-disk-fixture half of - /// the four in-test inversions further up. + // on-disk fixture for the post-canonical-class-form rejection path. The + // fixture declares `instance prelude.Eq Int` outside the prelude + // and outside Int's defining module — under the canonical-form + // rule the qualified `prelude.Eq` ref is now schema-valid (post- + // class references in canonical form), and the downstream coherence check rejects the instance + // with `OrphanInstance` instead. + // Pre-canonical-class-form this test asserted `QualifiedClassName` on the same + // fixture; the rename + reshape is the on-disk-fixture half of + // the four in-test inversions further up. // `ct1_fixture_qualified_class_orphan_post_mq1` relocated to // `crates/ailang-core/tests/workspace_pin.rs` in iter pd.2.