Method resolveOverloads

libsolidity/analysis/TypeChecker.cpp:3091–3133

}

MemberList::Member TypeChecker::resolveOverloads(MemberAccess const& _memberAccess) const
{
	Type const* owningObjectType = type(_memberAccess.expression());
	ASTString const& memberName = _memberAccess.memberName();

	// Retrieve the types of the arguments if this is used to call a function.
	auto const& arguments = _memberAccess.annotation().arguments;
	MemberList::MemberMap possibleMembers = owningObjectType->members(currentDefinitionScope()).membersByName(memberName);
	size_t const possibleMemberCountBeforeOverloading = possibleMembers.size();
	if (possibleMemberCountBeforeOverloading >= 2 && arguments)
	{
		// do overload resolution
		for (auto it = possibleMembers.begin(); it != possibleMembers.end();)
		{
			if (
				it->type->category() == Type::Category::Function &&
				!dynamic_cast<FunctionType const&>(*it->type).canTakeArguments(*arguments, owningObjectType)
			)
				it = possibleMembers.erase(it);
			else
				++it;
		}
	}

	if (possibleMembers.empty())
	{
		auto [errorID, errorMsg] = diagnoseUnresolvedMemberAccess(_memberAccess, possibleMemberCountBeforeOverloading);
		m_errorReporter.fatalTypeError(errorID, _memberAccess.location(), errorMsg);
	}
	else if (possibleMembers.size() >= 2)
		m_errorReporter.fatalTypeError(
			6675_error,
			_memberAccess.location(),
			fmt::format(
				R"(Member "{}" not unique after argument-dependent lookup in {}{})",
				memberName,
				owningObjectType->humanReadableName(),
				memberName == "value" ? R"( - did you forget the "payable" modifier?)" : "."
			)
		);

	return possibleMembers.front();
}

std::pair<ErrorId, std::string> TypeChecker::diagnoseUnresolvedMemberAccess(
	MemberAccess const& _memberAccess,