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); |