Fix ISE

Fixes #345
JetBrains · Jul 30, 2024 · 1f40beb · 1f40beb
1 parent d3d03dc
commit 1f40beb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/base/src/main/java/org/arend/core/expr/visitor/GetTypeVisitor.java b/base/src/main/java/org/arend/core/expr/visitor/GetTypeVisitor.java
@@ -256,7 +256,7 @@ public Expression visitFieldCall(FieldCallExpression expr, Void params) {
     if (myNormalizing) {
       type = type.normalize(NormalizationMode.WHNF);
     }
-    if (type instanceof ClassCallExpression classCall) {
+    if (type instanceof ClassCallExpression classCall && classCall.getDefinition().isSubClassOf(expr.getDefinition().getParentClass())) {
       if (classCall.getDefinition().getOverriddenType(expr.getDefinition()) != null) {
         return classCall.getDefinition().getOverriddenType(expr.getDefinition(), myMinimal ? minimizeLevels(classCall) : classCall.getLevels()).applyExpression(expr.getArgument());
       }
@@ -430,7 +430,7 @@ public Expression visitTypeDestructor(TypeDestructorExpression expr, Void params
     } else {
       type = type.getUnderlyingExpression();
     }
-    if (!(type instanceof FunCallExpression funCall && ((FunCallExpression) type).getDefinition() == expr.getDefinition())) {
+    if (!(type instanceof FunCallExpression funCall && funCall.getDefinition() == expr.getDefinition())) {
       return type instanceof ErrorExpression ? type : new ErrorExpression();
     }