Method create

bolt/type/Type.cpp:1209–1225

class FunctionParametricType {
 public:
  static TypePtr create(
      const std::vector<TypeParameter>& parameters,
      [[maybe_unused]] std::vector<std::string> rowParameterNames) {
    BOLT_USER_CHECK_GE(parameters.size(), 1);
    for (const auto& parameter : parameters) {
      BOLT_USER_CHECK(parameter.kind == TypeParameterKind::kType);
      BOLT_USER_CHECK_NOT_NULL(parameter.type);
    }

    std::vector<TypePtr> argumentTypes;
    argumentTypes.reserve(parameters.size() - 1);
    for (auto i = 0; i < parameters.size() - 1; ++i) {
      argumentTypes.push_back(parameters[i].type);
    }

    return FUNCTION(std::move(argumentTypes), parameters.back().type);
  }
};

using ParametricTypeMap = std::unordered_map<