Dirty fix

This commit is contained in:
JanUlrich 2017-11-29 14:31:07 +01:00
parent 4616f82b09
commit e702f745c3

View File

@ -196,9 +196,9 @@ public class UnifyTypeFactory {
if(tl instanceof TypePlaceholder){ if(tl instanceof TypePlaceholder){
if(tr instanceof TypePlaceholder) { if(tr instanceof TypePlaceholder) {
if(mp.getPairOp().equals(PairOperator.EQUALSDOT)) if(mp.getPairOp().equals(PairOperator.EQUALSDOT))
throw new DebugException("TPH =. TPH ist ein ungültiges Ergebnis"); //throw new DebugException("TPH =. TPH ist ein ungültiges Ergebnis");
//Einfach ignorieren TODO: Das hier muss ausgebessert werden: //Einfach ignorieren TODO: Das hier muss ausgebessert werden:
//return new PairTPHequalRefTypeOrWildcardType((TypePlaceholder)tl, ASTFactory.createObjectType()); return new PairTPHequalRefTypeOrWildcardType((TypePlaceholder)tl, ASTFactory.createObjectType());
else else
return new PairTPHsmallerTPH((TypePlaceholder)tl, (TypePlaceholder)tr); return new PairTPHsmallerTPH((TypePlaceholder)tl, (TypePlaceholder)tr);
}else if(tr instanceof RefType){ }else if(tr instanceof RefType){