From 4bc8addad4bf16b86bc569696e6dada09375cc61 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Fri, 29 Dec 2023 11:22:04 +0000
Subject: Support (no-op) type substitution for struct types

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

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java b/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java
index a6719d17..5d2b7077 100644
--- a/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java
+++ b/src/main/java/org/shedlang/compiler/types/TypeSubstitution.java
@@ -33,9 +33,8 @@ public class TypeSubstitution {
 
             case StringType stringType -> type;
 
-            case StructType structType -> {
-                throw new UnsupportedOperationException("TODO");
-            }
+            case StructType structType ->
+                type;
 
             case SumType sumType -> {
                 throw new UnsupportedOperationException("TODO");
-- 
cgit v1.2.3