diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-12-29 11:23:49 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-12-29 11:23:49 +0000 |
| commit | 3d72a13b9877df8e4232f8dd32c35ab6c8f5e3db (patch) | |
| tree | 2f5c9d09821ba441597da25f1b1526e7335e6db6 /src/main/java/org | |
| parent | bbc57bddb4dea75e3774673dbb173662e930c3dc (diff) | |
Remove duplicated code
Diffstat (limited to 'src/main/java/org')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeCheckerContext.java | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerContext.java b/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerContext.java index ffd2ac01..f1797ef3 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerContext.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerContext.java @@ -444,8 +444,7 @@ public class TypeCheckerContext { } public StructTypeInfo structTypeInfo(ConstructedType<StructType> type, Source source) { - var typeInfo = this.typeInfos.structTypeInfo(type.genericType()) - .orElseThrow(() -> new MissingStructTypeInfoError(type.genericType(), source)); + var typeInfo = structTypeInfo(type.genericType(), source); var typeSubstitutionMap = type.typeSubstitutionMap(); |