equal
deleted
inserted
replaced
2307 public Type visitArrayType(ArrayType t, Void ignored) { |
2307 public Type visitArrayType(ArrayType t, Void ignored) { |
2308 Type elemtype = subst(t.elemtype); |
2308 Type elemtype = subst(t.elemtype); |
2309 if (elemtype == t.elemtype) |
2309 if (elemtype == t.elemtype) |
2310 return t; |
2310 return t; |
2311 else |
2311 else |
2312 return new ArrayType(upperBound(elemtype), t.tsym); |
2312 return new ArrayType(elemtype, t.tsym); |
2313 } |
2313 } |
2314 |
2314 |
2315 @Override |
2315 @Override |
2316 public Type visitForAll(ForAll t, Void ignored) { |
2316 public Type visitForAll(ForAll t, Void ignored) { |
2317 if (Type.containsAny(to, t.tvars)) { |
2317 if (Type.containsAny(to, t.tvars)) { |