code: private int getIntForType(JSType type) {
      // Templatized types don't exist at runtime, so collapse to raw type
      if (type != null && type.isGenericObjectType()) {
        type = type.toMaybeObjectType().getRawType();
      }
      if (intForType.containsKey(type)) {
        return intForType.get(type).intValue();
      }
      int newInt = intForType.size() + 1;
      intForType.put(type, newInt);
      return newInt;
    }
docs: Returns an integer that uniquely identifies a JSType.