1745 public void checkCompatibleConcretes(DiagnosticPosition pos, Type site) { |
1745 public void checkCompatibleConcretes(DiagnosticPosition pos, Type site) { |
1746 Type sup = types.supertype(site); |
1746 Type sup = types.supertype(site); |
1747 if (!sup.hasTag(CLASS)) return; |
1747 if (!sup.hasTag(CLASS)) return; |
1748 |
1748 |
1749 for (Type t1 = sup; |
1749 for (Type t1 = sup; |
1750 t1.tsym.type.isParameterized(); |
1750 t1.hasTag(CLASS) && t1.tsym.type.isParameterized(); |
1751 t1 = types.supertype(t1)) { |
1751 t1 = types.supertype(t1)) { |
1752 for (Scope.Entry e1 = t1.tsym.members().elems; |
1752 for (Scope.Entry e1 = t1.tsym.members().elems; |
1753 e1 != null; |
1753 e1 != null; |
1754 e1 = e1.sibling) { |
1754 e1 = e1.sibling) { |
1755 Symbol s1 = e1.sym; |
1755 Symbol s1 = e1.sym; |