diff --git a/lang/src/son.rs b/lang/src/son.rs
index c45179e..cd8f684 100644
--- a/lang/src/son.rs
+++ b/lang/src/son.rs
@@ -4670,13 +4670,7 @@ impl TypeParser for Codegen<'_> {
     }
 
     fn find_local_ty(&mut self, ident: Ident) -> Option<ty::Id> {
-        self.ci
-            .scope
-            .vars
-            .iter()
-            .rfind(|v| (v.id == ident && v.value() == NEVER))
-            .map(|v| v.ty)
-            .inspect(|&ty| debug_assert_ne!(ty, ty::Id::NEVER))
+        self.ci.scope.vars.iter().rfind(|v| (v.id == ident && v.value() == NEVER)).map(|v| v.ty)
     }
 }