1 files changed, 2 insertions, 3 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
index 187442a8..8dba748f 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
@@ -2176,9 +2176,8 @@ public class TypeChecker {
                 if (matchingVariantTypes.size() == 1) {
                     yield matchingVariantTypes.get(0);
                 } else {
-                    throw new UnexpectedTypeError(
-                        TypeSets.STRUCT_META_TYPE,
-                        Types.typeLevelValueType(typedCaseType.value()),
+                    throw new UnreachableWhenCaseError(
+                        genericStructType,
                         typedCaseType.source()
                     );
                 }