tests/test_codegen.py (1)

8808-8832: ⚠️ Potential issue | 🟡 Minor

Add None-path coverage for option_unwrap_or<Map<...>> and option_unwrap_or<Set<...>>.

These new tests only exercise the Some(...) path. Please add None-case tests so we also validate default-branch behaviour for parameterised opaque-handle monomorphisation.

Suggested test additions

 class TestDecimalMonomorphization:
@@
     def test_option_unwrap_or_set(self) -> None:
         """option_unwrap_or<Set<Int>> monomorphization."""
         source = """
 public fn main(-> `@Int`)
   requires(true) ensures(true) effects(pure)
 {
   let `@Option`<Set<Int>> = Some(set_add(set_new(), 42));
   let `@Set`<Int> = option_unwrap_or(`@Option`<Set<Int>>.0, set_new());
   set_size(`@Set`<Int>.0)
 }
 """
         assert _run(source) == 1
+
+    def test_option_unwrap_or_map_none(self) -> None:
+        """option_unwrap_or<Map<String, Int>> with None returns default map."""
+        source = """
+public fn main(-> `@Int`)
+  requires(true) ensures(true) effects(pure)
+{
+  let `@Option`<Map<String, Int>> = None;
+  let `@Map`<String, Int> = option_unwrap_or(
+    `@Option`<Map<String, Int>>.0,
+    map_insert(map_new(), "d", 1)
+  );
+  map_size(`@Map`<String, Int>.0)
+}
+"""
+        assert _run(source) == 1
+
+    def test_option_unwrap_or_set_none(self) -> None:
+        """option_unwrap_or<Set<Int>> with None returns default set."""
+        source = """
+public fn main(-> `@Int`)
+  requires(true) ensures(true) effects(pure)
+{
+  let `@Option`<Set<Int>> = None;
+  let `@Set`<Int> = option_unwrap_or(`@Option`<Set<Int>>.0, set_add(set_new(), 7));
+  set_size(`@Set`<Int>.0)
+}
+"""
+        assert _run(source) == 1

As per coding guidelines, "Add codegen/runtime tests in tests/test_codegen.py for built-in functions covering normal cases, edge cases (empty inputs, zero values), and composition with other built-ins".

🤖 Prompt for AI Agents

Verify each finding against the current code and only fix it if needed.

In `@tests/test_codegen.py` around lines 8808 - 8832, Add tests covering the
None-path for parameterized opaque-handle monomorphisation by creating two new
test cases mirroring test_option_unwrap_or_map and test_option_unwrap_or_set but
passing None instead of Some; call option_unwrap_or(`@Option`<Map<String, Int>>.0,
map_new()) and option_unwrap_or(`@Option`<Set<Int>>.0, set_new()) where the option
value is None, then assert map_size(...) == 0 and set_size(...) == 0
respectively to validate the default branch returns an empty map/set; place them
alongside the existing tests and name them e.g. test_option_unwrap_or_map_none
and test_option_unwrap_or_set_none.