From 75a6e3a22c6b0ff3f8f61fb51de20a9c7f222ebe Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 31 Dec 2023 11:30:03 +0000 Subject: Disable subtyping for function types with type level params --- .../compiler/typechecker/TypeCheckerIsSubTypeTests.java | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) (limited to 'src/test/java') diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerIsSubTypeTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerIsSubTypeTests.java index ca3008f3..9207024f 100644 --- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerIsSubTypeTests.java +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerIsSubTypeTests.java @@ -320,4 +320,21 @@ public class TypeCheckerIsSubTypeTests { assertThat(isSubType(functionType2, functionType1, context), equalTo(true)); assertThat(isSubType(functionType1, functionType2, context), equalTo(false)); } + + @Test + public void whenFunctionHasTypeLevelParamsThenOtherFunctionsAreNotSupertypesNorSubtypes() { + var functionType1 = FunctionType.builder() + .withTypeLevelParams(List.of( + TypeParam.forStructType(Types.struct(NamespaceName.of("Example"), "Box"), "T") + )) + .withReturnType(Types.UNIT) + .build(); + var functionType2 = FunctionType.builder() + .withReturnType(Types.UNIT) + .build(); + var context = TypeCheckerContext.EMPTY; + + assertThat(isSubType(functionType2, functionType1, context), equalTo(false)); + assertThat(isSubType(functionType1, functionType2, context), equalTo(false)); + } } -- cgit v1.2.3