@Override
 public JSType caseObjectType(ObjectType type) {
   JSType arrayType = getNativeType(ARRAY_TYPE);
   return arrayType.isSubtype(type) ? arrayType : null;
 }