diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-12-31 08:58:26 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-12-31 08:58:26 +0000 |
| commit | 73ddea59a1628f9aa12a32297129138cf6f481b4 (patch) | |
| tree | 1731c8cf68682b9376d96f99263450e513b83e57 /src/main/java | |
| parent | f1bd514636600b355d7656007a0c823e5e868ca8 (diff) | |
Remove unnecessary variable
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); |