From fb732c2caac25b5701c56cfc86be911e03a64a43 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 14 Jan 2024 11:44:41 +0000
Subject: Use more accurate exception type

---
 src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'src/main/java')

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()
                     );
                 }
-- 
cgit v1.2.3