
addInequation(subtype, type);
}</BUG>
}
}
<BUG>private void processErrorEquation(SNode type, SNode error, String errorText) {
</BUG>
setParent(error, type); //type
<BUG>ErrorReporter.getInstance().setErrorString(error, errorText);</BUG>
TypeVariablesManager.getInstance().addAllVarSetsOfSourceAndRemoveSourceFromThem(type, error);
<BUG>TypeChecker.reportTypeError(error);
</BUG>
}

mySupertypesToSubtypesMap.remove(var);
for (SNode subtype : subtypes.keySet()) {
mySubtypesToSupertypesMap.get(subtype).remove(var);
}
for (SNode subtype : subtypes.keySet()) {
addInequation(subtype, type, subtypes.get(subtype));
}
}
}
private void processErrorEquation(SNode type, SNode error, String errorText, SNode nodeToCheck) {
setParent(error, type); //type
TypeVariablesManager.getInstance().addAllVarSetsOfSourceAndRemoveSourceFromThem(type, error);
TypeChecker.reportTypeError(nodeToCheck, errorText);
}
