Fix retypechecking of constructors

JetBrains · Jun 24, 2024 · 3540f92 · 3540f92
1 parent 4e6e441
commit 3540f92
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java b/base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java
@@ -2428,7 +2428,7 @@ private boolean typecheckConstructor(Concrete.Constructor def, List<ExpressionPa
         dataDefinition.addConstructor(constructor);
       }
 
-      ok = typecheckParameters(def, constructor, list, null, dataDefinition.getSort(), myNewDef ? null : oldConstructor.getParameters(), null, null) != null;
+      ok = typecheckParameters(def, constructor, list, null, dataDefinition.getSort(), null, null, null) != null;
       if (constructor != null) {
         constructor.setStrictParameters(getStrictParameters(def.getParameters()));
       }