modified: ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java

This commit is contained in:
Martin Plümicke 2019-03-07 09:17:05 +01:00
parent 2bd6147517
commit 6175fb3ee3

View File

@ -177,16 +177,6 @@ public class UnifyPair {
}
}
public void disableCondWildcards() {
if (lhs instanceof PlaceholderType && rhs instanceof PlaceholderType
&& (!((PlaceholderType)lhs).isWildcardable() || !((PlaceholderType)rhs).isWildcardable()))
{
((PlaceholderType)lhs).disableWildcardtable();
((PlaceholderType)rhs).disableWildcardtable();
}
}
public Boolean wrongWildcard() {
return lhs.wrongWildcard() || rhs.wrongWildcard();
}