Bug fix in Unify Zeile 1339 Typecast vom 1. aufs 2. Argument verschoben.

This commit is contained in:
Dr. Martin Pluemicke 2015-02-25 12:04:13 +01:00
parent 4e61ba736d
commit 748a38833d

View File

@ -1390,7 +1390,7 @@ throws MatchException
if((P.TA1 instanceof GenericTypeVar || P.TA1 instanceof RefType)
&& (P.TA2 instanceof WildcardType && ((WildcardType)P.TA2).GetWildcardType() instanceof TypePlaceholder))
{
H.add(new Pair(((WildcardType)P.TA1).GetWildcardType(),P.TA2, PairOperator.Equal));
H.add(new Pair(P.TA1, ((WildcardType)P.TA2).GetWildcardType(), PairOperator.Equal));
bRegel = true;
continue;
}