public JSType withLocation(String location) { return new JSType(mask, location, objs == null ? null : ObjectType.withLocation(objs), typeVar); }