From 4bc8addad4bf16b86bc569696e6dada09375cc61 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Fri, 29 Dec 2023 11:22:04 +0000 Subject: Support (no-op) type substitution for struct types --- .../org/shedlang/compiler/types/TypeSubstitutionTests.java | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'src/test/java') diff --git a/src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java b/src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java index e9b04a95..d6713ee0 100644 --- a/src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java +++ b/src/test/java/org/shedlang/compiler/types/TypeSubstitutionTests.java @@ -153,6 +153,20 @@ public class TypeSubstitutionTests { assertThat(result, equalTo(Types.STRING)); } + @Test + public void substitutingStructDoesNothing() { + var typeSubstitutionMap = TypeSubstitutionMap.of( + Map.entry(TypeParam.forStructType(STRUCT_TYPE, "T"), Types.INT) + ); + + var result = TypeSubstitution.substitute( + Types.struct(NamespaceName.of("A"), "B"), + typeSubstitutionMap + ); + + assertThat(result, equalTo(Types.struct(NamespaceName.of("A"), "B"))); + } + @Test public void substitutingTopDoesNothing() { var typeSubstitutionMap = TypeSubstitutionMap.of( -- cgit v1.2.3