From 7013b6d4442d1f0cb82c10578021ed3b63fd3464 Mon Sep 17 00:00:00 2001
From: Stuart Pernsteiner <spernsteiner@galois.com>
Date: Tue, 3 Dec 2024 09:40:43 -0800
Subject: [PATCH] analyze: address comments from code review

---
 c2rust-analyze/src/dataflow/type_check.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/c2rust-analyze/src/dataflow/type_check.rs b/c2rust-analyze/src/dataflow/type_check.rs
index fa7647e36..0a6a2e5aa 100644
--- 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())