Merge branch 'main' into phil/rewrite-non-clifford-u3-2

Author: weinbe58

src/bloqade/gemini/dialects/logical/_interface.py

@@ -7,8 +7,8 @@
 
 from .stmts import TerminalLogicalMeasurement
 
-Len = TypeVar("Len", bound=int)
-CodeN = TypeVar("CodeN", bound=int)
+Len = TypeVar("Len")
+CodeN = TypeVar("CodeN")
 
 
 @lowering.wraps(TerminalLogicalMeasurement)

src/bloqade/gemini/dialects/logical/stmts.py

@@ -6,8 +6,8 @@
 
 from ._dialect import dialect
 
-Len = types.TypeVar("Len", bound=types.Int)
-CodeN = types.TypeVar("CodeN", bound=types.Int)
+Len = types.TypeVar("Len")
+CodeN = types.TypeVar("CodeN")
 
 
 @statement(dialect=dialect)

test/gemini/test_logical_validation.py

@@ -115,14 +115,20 @@ def invalid():
         invalid.print(analysis=frame.entries)
 
 
-def test_terminal_measurement():
-    @gemini.logical.kernel(verify=False)
+def test_qalloc_and_terminal_measure_type_valid():
+
+    @gemini.logical.kernel(aggressive_unroll=True)
     def main():
         q = squin.qalloc(3)
-        m = gemini.logical.terminal_measure(q)
-        return m
+        gemini.logical.terminal_measure(q)
 
-    main.print()
+    validator = ValidationSuite([GeminiTerminalMeasurementValidation])
+    validation_result = validator.validate(main)
+
+    validation_result.raise_if_invalid()
+
+
+def test_terminal_measurement():
 
     @gemini.logical.kernel(
         verify=False, no_raise=False, aggressive_unroll=True, typeinfer=True