if (i > index) {
argument = arg;
break;
}
}
<BUG>String msg = "Non-positive recursive occurrence of data type " + dataDefinition.getName() + " in constructor " + name;
</BUG>
errorReporter.report(new LocalTypeCheckingError(msg, argument == null ? constructor : argument));
return false;
}

if (i > index) {
argument = arg;
break;
}
}
String msg = "Non-positive recursive occurrence of data type " + ((DataDefinition) def).getName() + " in constructor " + name;
errorReporter.report(new LocalTypeCheckingError(msg, argument == null ? constructor : argument));
return false;
}
