1128 if (!visit(supertype(t), supertype(s))) |
1128 if (!visit(supertype(t), supertype(s))) |
1129 return false; |
1129 return false; |
1130 |
1130 |
1131 HashSet<UniqueType> set = new HashSet<UniqueType>(); |
1131 HashSet<UniqueType> set = new HashSet<UniqueType>(); |
1132 for (Type x : interfaces(t)) |
1132 for (Type x : interfaces(t)) |
1133 set.add(new UniqueType(x, Types.this)); |
1133 set.add(new UniqueType(x.unannotatedType(), Types.this)); |
1134 for (Type x : interfaces(s)) { |
1134 for (Type x : interfaces(s)) { |
1135 if (!set.remove(new UniqueType(x, Types.this))) |
1135 if (!set.remove(new UniqueType(x.unannotatedType(), Types.this))) |
1136 return false; |
1136 return false; |
1137 } |
1137 } |
1138 return (set.isEmpty()); |
1138 return (set.isEmpty()); |
1139 } |
1139 } |
1140 return t.tsym == s.tsym |
1140 return t.tsym == s.tsym |