src/share/classes/com/sun/tools/javac/code/Types.java

changeset 187
e157bd68dfc5
parent 185
d57378c34fdb
child 196
1ca2dc8584e1
equal deleted inserted replaced
186:09eb1acc9610 187:e157bd68dfc5
3146 if (disjointTypes(t1.getTypeArguments(), t2.getTypeArguments())) 3146 if (disjointTypes(t1.getTypeArguments(), t2.getTypeArguments()))
3147 return false; 3147 return false;
3148 giveWarning = giveWarning || (reverse ? giveWarning(t2, t1) : giveWarning(t1, t2)); 3148 giveWarning = giveWarning || (reverse ? giveWarning(t2, t1) : giveWarning(t1, t2));
3149 commonSupers = commonSupers.tail; 3149 commonSupers = commonSupers.tail;
3150 } 3150 }
3151 if (giveWarning && !isReifiable(to)) 3151 if (giveWarning && !isReifiable(reverse ? from : to))
3152 warn.warnUnchecked(); 3152 warn.warnUnchecked();
3153 if (!source.allowCovariantReturns()) 3153 if (!source.allowCovariantReturns())
3154 // reject if there is a common method signature with 3154 // reject if there is a common method signature with
3155 // incompatible return types. 3155 // incompatible return types.
3156 chk.checkCompatibleAbstracts(warn.pos(), from, to); 3156 chk.checkCompatibleAbstracts(warn.pos(), from, to);

mercurial