2312 public Type visitArrayType(ArrayType t, Void ignored) { |
2312 public Type visitArrayType(ArrayType t, Void ignored) { |
2313 Type elemtype = subst(t.elemtype); |
2313 Type elemtype = subst(t.elemtype); |
2314 if (elemtype == t.elemtype) |
2314 if (elemtype == t.elemtype) |
2315 return t; |
2315 return t; |
2316 else |
2316 else |
2317 return new ArrayType(elemtype, t.tsym); |
2317 return new ArrayType(upperBound(elemtype), t.tsym); |
2318 } |
2318 } |
2319 |
2319 |
2320 @Override |
2320 @Override |
2321 public Type visitForAll(ForAll t, Void ignored) { |
2321 public Type visitForAll(ForAll t, Void ignored) { |
2322 if (Type.containsAny(to, t.tvars)) { |
2322 if (Type.containsAny(to, t.tvars)) { |