equal
deleted
inserted
replaced
2862 public Type visitArrayType(ArrayType t, Void ignored) { |
2862 public Type visitArrayType(ArrayType t, Void ignored) { |
2863 Type elemtype = subst(t.elemtype); |
2863 Type elemtype = subst(t.elemtype); |
2864 if (elemtype == t.elemtype) |
2864 if (elemtype == t.elemtype) |
2865 return t; |
2865 return t; |
2866 else |
2866 else |
2867 return new ArrayType(upperBound(elemtype), t.tsym); |
2867 return new ArrayType(elemtype, t.tsym); |
2868 } |
2868 } |
2869 |
2869 |
2870 @Override |
2870 @Override |
2871 public Type visitForAll(ForAll t, Void ignored) { |
2871 public Type visitForAll(ForAll t, Void ignored) { |
2872 if (Type.containsAny(to, t.tvars)) { |
2872 if (Type.containsAny(to, t.tvars)) { |