fix(ci): satisfy mypy for drop-glue reachability

Author: Stevengre

kmir/src/kmir/kompile.py

@@ -487,7 +487,10 @@ def get_int_arg(app: KInner) -> int:
 
     type_equations = _make_stratified_rules(kmir, 'lookupTy', 'Ty', 'TypeInfo', 'ty', type_assocs, invalid_type)
 
-    drop_function_assocs = [(int(ty), KApply('ty', (intToken(int(drop_ty)),))) for ty, drop_ty in smir_info.drop_function_tys.items()]
+    drop_function_assocs: list[tuple[int, KInner]]
+    drop_function_assocs = [
+        (int(ty), KApply('ty', (intToken(int(drop_ty)),))) for ty, drop_ty in smir_info.drop_function_tys.items()
+    ]
     drop_function_equations = _make_stratified_rules(
         kmir,
         'lookupDropFunctionTy',

kmir/src/kmir/smir.py

@@ -304,8 +304,9 @@ def _place_ty(self, body: dict, place: dict) -> Ty | None:
         if not (0 <= local < len(locals_)):
             return None
 
-        current_ty = Ty(locals_[local]['ty'])
+        current_ty: Ty | None = Ty(locals_[local]['ty'])
         for projection in place.get('projection', []):
+            assert current_ty is not None
             current_ty = self._projected_ty(current_ty, projection)
             if current_ty is None:
                 return None