analyze: address comments from code review

immunant · Dec 3, 2024 · 7013b6d · 7013b6d
1 parent e3057de
commit 7013b6d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/c2rust-analyze/src/dataflow/type_check.rs b/c2rust-analyze/src/dataflow/type_check.rs
@@ -102,6 +102,7 @@ impl<'tcx> TypeChecker<'tcx, '_> {
     }
 
     fn pointee_type(&self, ptr: PointerId) -> Option<LTy<'tcx>> {
+        assert!(!ptr.is_none());
         self.pointee_types
             .as_ref()
             .and_then(|pointee_types| pointee_types[ptr].get_sole_lty())