From 00444674251bec26612f8bb8bcdd9e1024969ad3 Mon Sep 17 00:00:00 2001
From: Brummel <mould@mycelium.de>
Date: Mon, 11 May 2026 09:14:17 +0200
Subject: [PATCH] iter ct.2.2-tidy: remove unused Bag fixture from
 cross_module_ws helper

---
 crates/ailang-check/src/lib.rs | 34 ++++++++++------------------------
 1 file changed, 10 insertions(+), 24 deletions(-)

diff --git a/crates/ailang-check/src/lib.rs b/crates/ailang-check/src/lib.rs
index 9a95b81..b724984 100644
--- a/crates/ailang-check/src/lib.rs
+++ b/crates/ailang-check/src/lib.rs
@@ -3460,34 +3460,20 @@ mod tests {
     /// Helper for the cross-module tests: build a workspace whose entry
     /// imports `lib` and exposes its types via qualified names.
     fn cross_module_ws(consumer: Module) -> Workspace {
-        // `lib` declares `data Box a = MkBox(a)` and `data Bag a = Pack(a)`.
-        // The second type lets us exercise ambiguous-ctor in dedicated tests.
         let lib = Module {
             schema: SCHEMA.into(),
             name: "lib".into(),
             imports: vec![],
-            defs: vec![
-                Def::Type(TypeDef {
-                    name: "Box".into(),
-                    vars: vec!["a".into()],
-                    ctors: vec![Ctor {
-                        name: "MkBox".into(),
-                        fields: vec![Type::Var { name: "a".into() }],
-                    }],
-                    doc: None,
-                    drop_iterative: false,
-                }),
-                Def::Type(TypeDef {
-                    name: "Bag".into(),
-                    vars: vec!["a".into()],
-                    ctors: vec![Ctor {
-                        name: "Pack".into(),
-                        fields: vec![Type::Var { name: "a".into() }],
-                    }],
-                    doc: None,
-                    drop_iterative: false,
-                }),
-            ],
+            defs: vec![Def::Type(TypeDef {
+                name: "Box".into(),
+                vars: vec!["a".into()],
+                ctors: vec![Ctor {
+                    name: "MkBox".into(),
+                    fields: vec![Type::Var { name: "a".into() }],
+                }],
+                doc: None,
+                drop_iterative: false,
+            })],
         };
         let mut modules = BTreeMap::new();
         modules.insert("lib".into(), lib);