code: @ForOverride
    @Nullable
    protected JSType findPropertyTypeWithoutConsideringTemplateTypes(String propertyName) {
      ObjectType autoboxObjType = ObjectType.cast(autoboxesTo());
      if (autoboxObjType != null) {
        return autoboxObjType.findPropertyType(propertyName);
      }
      return null;
    }
docs: Looks up a property on this type, but without properly replacing any templates in the result.
  
  <p>Subclasses can override this if they need more complicated logic for property lookup than
  just autoboxing to an object.
  
  <p>This is only for use by {@code findPropertyType(JSType)}. Call that method instead if you
  need to lookup a property on a random JSType