type = type.getPiParameters(piParams, true, false);
for (DependentLink piParam : piParams) {
if (piParam instanceof UntypedDependentLink) {
continue;
}
<BUG>if (!checkNonPositiveError(piParam.getType().toExpression(), dataDefinition, name, list.getFirst(), link, arguments, def, visitor.getErrorReporter())) {
</BUG>
return constructor;
}
}

type = type.getPiParameters(piParams, true, false);
for (DependentLink piParam : piParams) {
if (piParam instanceof UntypedDependentLink) {
continue;
}
if (!checkNonPositiveError(piParam.getType().toExpression(), name, list.getFirst(), link, arguments, def, visitor.getErrorReporter(), dataDefinitions)) {
return constructor;
}
}
