equal
deleted
inserted
replaced
1365 Type bound2 = toTypeVarMap.apply(bound); |
1365 Type bound2 = toTypeVarMap.apply(bound); |
1366 List<Type> prevBounds = bounds.get(ib); |
1366 List<Type> prevBounds = bounds.get(ib); |
1367 for (Type b : prevBounds) { |
1367 for (Type b : prevBounds) { |
1368 //check for redundancy - use strict version of isSameType on tvars |
1368 //check for redundancy - use strict version of isSameType on tvars |
1369 //(as the standard version will lead to false positives w.r.t. clones ivars) |
1369 //(as the standard version will lead to false positives w.r.t. clones ivars) |
1370 if (types.isSameType(b, bound2, true)) return; |
1370 if (types.isSameType(b, bound2, true) || bound == qtype) return; |
1371 } |
1371 } |
1372 bounds.put(ib, prevBounds.prepend(bound2)); |
1372 bounds.put(ib, prevBounds.prepend(bound2)); |
1373 notifyChange(EnumSet.of(ib)); |
1373 notifyChange(EnumSet.of(ib)); |
1374 } |
1374 } |
1375 //where |
1375 //where |