}
myErrorReporter.report(error);
}
}
}
<BUG>Result result = new Result(resultExpr, new PiUniverseType(EmptyDependentLink.getInstance(), resultExpr instanceof ClassCallExpression ? ((ClassCallExpression) resultExpr).getSorts() : new SortMax()));

return checkResult(expectedType, result, expr);</BUG>
}
<BUG>private CheckTypeVisitor.Result implementField(FieldSet fieldSet, ClassField field, Abstract.Expression implBody, CheckTypeVisitor visitor, ClassCallExpression fieldSetClass) {

CheckTypeVisitor.Result result = visitor.typeCheck(implBody, field.getBaseType().subst(field.getThisParameter(), ExpressionFactory.New(fieldSetClass)));
fieldSet.implementField(field, new FieldSet.Implementation(null, result != null ? result.expression : ExpressionFactory.Error(null, null)));</BUG>
return result;

}
classFieldMap.remove(field);
if (classFieldMap.isEmpty()) {
break;
}
