src/share/classes/com/sun/tools/javac/code/Types.java

changeset 996
384ea9a98912
parent 991
1092b67b3cad
child 1007
95fc7fd39be2
equal deleted inserted replaced
995:62bc3775d5bb 996:384ea9a98912
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)) {

mercurial