Remove unreachable branch

Author: david-pl

src/bloqade/gemini/analysis/logical_validation/analysis.py

@@ -8,7 +8,7 @@
 from kirin.validation import ValidationPass
 
 from bloqade import squin
-from bloqade.analysis.address import Address, AddressReg, AddressQubit, AddressAnalysis
+from bloqade.analysis.address import Address, AddressReg, AddressAnalysis
 
 
 @dataclass
@@ -29,21 +29,17 @@ def eval_fallback(self, frame: ForwardFrame, node: ir.Statement):
     def check_first_gate(self, qubits: ir.SSAValue) -> bool:
         address = self.addr_frame.get(qubits)
 
-        if isinstance(address, AddressQubit):
-            is_first = self.first_gates.get(address.data, True)
-            self.first_gates[address.data] = False
-            return is_first
-        elif isinstance(address, AddressReg):
-            is_first = True
-            for addr_int in address.data:
-                is_first = is_first and self.first_gates.get(addr_int, True)
-                self.first_gates[addr_int] = False
-
-            return is_first
-
-        # NOTE: we should have a flat kernel with simple address analysis, so in case we don't
-        # get concrete addresses, we might as well error here since something's wrong
-        return False
+        if not isinstance(address, AddressReg):
+            # NOTE: we should have a flat kernel with simple address analysis, so in case we don't
+            # get concrete addresses, we might as well error here since something's wrong
+            return False
+
+        is_first = True
+        for addr_int in address.data:
+            is_first = is_first and self.first_gates.get(addr_int, True)
+            self.first_gates[addr_int] = False
+
+        return is_first
 
     def method_self(self, method: ir.Method) -> EmptyLattice:
         return self.lattice.bottom()