From 8d09076586e0d2d2982ffc7064ce8f4a216c0c78 Mon Sep 17 00:00:00 2001
From: John Doty <john@d0ty.me>
Date: Sun, 7 Jan 2024 09:21:05 -0800
Subject: [PATCH] [fine] Nonsense types are ICE

---
 fine/src/semantics.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fine/src/semantics.rs b/fine/src/semantics.rs
index 1791023f..098f60c6 100644
--- a/fine/src/semantics.rs
+++ b/fine/src/semantics.rs
@@ -481,7 +481,7 @@ impl<'a> Semantics<'a> {
             TreeKind::ExpressionStatement => self.type_of_expression_statement(tree),
             TreeKind::Identifier => self.type_of_identifier(t, tree),
 
-            _ => None,
+            _ => self.internal_compiler_error(Some(t), "asking for a nonsense type"),
         };
 
         // NOTE: These return `None` if they encounter some problem.