From 1dc993a76e967a3cb81a84ba65e7d239aa0d1222 Mon Sep 17 00:00:00 2001
From: Arshdeep Singh <arshdeep.ssingh777@gmail.com>
Date: Wed, 22 Apr 2026 14:23:52 +0530
Subject: [PATCH] fix(sema): handle missing Type variants in
 is_fixed_reference_type

Signed-off-by: Arshdeep Singh <arshdeep.ssingh777@gmail.com>
---
 src/sema/types.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/sema/types.rs b/src/sema/types.rs
index e9ecfbb6f..c819be47f 100644
--- a/src/sema/types.rs
+++ b/src/sema/types.rs
@@ -1424,7 +1424,11 @@ impl Type {
             Type::Unresolved => false,
             Type::FunctionSelector => false,
             Type::UserType(no) => ns.user_types[*no].ty.is_fixed_reference_type(ns),
-            _ => unreachable!("{:?}", self),
+            Type::Value
+            | Type::Void
+            | Type::Unreachable
+            | Type::BufferPointer
+            | Type::SorobanHandle(_) => false,
         }
     }