Fix NPE

Fixes #344
JetBrains · Jul 30, 2024 · d3d03dc · d3d03dc
1 parent 88101db
commit d3d03dc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/src/main/java/org/arend/core/expr/NewExpression.java b/base/src/main/java/org/arend/core/expr/NewExpression.java
@@ -72,7 +72,7 @@ public Expression getImplementationHere(ClassField field) {
 
   public Expression getImplementation(ClassField field) {
     Expression impl = myClassCall.getImplementation(field, this);
-    return impl != null ? impl : FieldCallExpression.make(field, myRenewExpression);
+    return impl != null ? impl : myRenewExpression != null ? FieldCallExpression.make(field, myRenewExpression) : new ErrorExpression();
   }
 
   @Override