1811 |
1811 |
1812 public boolean checkCompatibleAbstracts(DiagnosticPosition pos, |
1812 public boolean checkCompatibleAbstracts(DiagnosticPosition pos, |
1813 Type t1, |
1813 Type t1, |
1814 Type t2, |
1814 Type t2, |
1815 Type site) { |
1815 Type site) { |
|
1816 if ((site.tsym.flags() & COMPOUND) != 0) { |
|
1817 // special case for intersections: need to eliminate wildcards in supertypes |
|
1818 t1 = types.capture(t1); |
|
1819 t2 = types.capture(t2); |
|
1820 } |
1816 return firstIncompatibility(pos, t1, t2, site) == null; |
1821 return firstIncompatibility(pos, t1, t2, site) == null; |
1817 } |
1822 } |
1818 |
1823 |
1819 /** Return the first method which is defined with same args |
1824 /** Return the first method which is defined with same args |
1820 * but different return types in two given interfaces, or null if none |
1825 * but different return types in two given interfaces, or null if none |