Method resolve

libsolidity/experimental/ast/TypeSystem.cpp:205–214

}

experimental::Type TypeEnvironment::resolve(Type _type) const
{
	Type result = _type;
	while (auto const* var = std::get_if<TypeVariable>(&result))
		if (Type const* resolvedType = util::valueOrNullptr(m_typeVariables, var->index()))
			result = *resolvedType;
		else
			break;
	return result;
}

experimental::Type TypeEnvironment::resolveRecursive(Type _type) const
{