From d3d03dc47de0150df0e6bdf07c74d6538b2ffa17 Mon Sep 17 00:00:00 2001
From: valis <valery.isaev@gmail.com>
Date: Tue, 30 Jul 2024 23:08:52 +0300
Subject: [PATCH] Fix NPE

Fixes #344
---
 base/src/main/java/org/arend/core/expr/NewExpression.java | 2 +-
 1 file changed, 1 insertion(+), 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
index 79fe3a0fe..bc021baad 100644
--- 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