From b5799640f8c68674db03097e47ad98c54822ba1e Mon Sep 17 00:00:00 2001 From: Brummel Date: Tue, 2 Jun 2026 02:30:08 +0200 Subject: [PATCH] refactor(core): demote orphaned doc comments in the workspace test module Two `///` blocks in the in-source test module described tests that were relocated to tests/workspace_pin.rs, leaving doc comments attached to nothing (clippy: empty-lines-after-doc). Converted them to plain `//` notes, matching the already-`//` relocation marker next to them. --- crates/ailang-core/src/workspace.rs | 23 +++++++++++------------ 1 file changed, 11 insertions(+), 12 deletions(-) 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.