diff options
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java index 871c6dae..03e2e021 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java @@ -412,7 +412,7 @@ public class TypeChecker { if ( receiverType instanceof TypeLevelValueType typeLevelValueType && typeLevelValueType.value() instanceof ConstructedType<?> constructedType && - constructedType.genericType() instanceof StructType structType + constructedType.genericType() instanceof StructType ) { // TODO: make specific constructed types to avoid generic casting? var structTypeInfo = context.structTypeInfo((ConstructedType<StructType>) constructedType, receiverSource); |