Method instantiateClass

libsolidity/experimental/ast/TypeSystem.cpp:357–371

}

std::optional<std::string> TypeSystem::instantiateClass(Type _instanceVariable, Arity _arity)
{
	if (!TypeSystemHelpers{*this}.isTypeConstant(_instanceVariable))
		return "Invalid instance variable.";
	auto [typeConstructor, typeArguments] = TypeSystemHelpers{*this}.destTypeConstant(_instanceVariable);
	auto& typeConstructorInfo = m_typeConstructors.at(typeConstructor.m_index);
	if (_arity.argumentSorts.size() != typeConstructorInfo.arguments())
		return "Invalid arity.";
	if (typeArguments.size() != typeConstructorInfo.arguments())
		return "Invalid arity.";

	typeConstructorInfo.arities.emplace_back(_arity);

	return std::nullopt;
}