Method MatchMethod

IDEHelper/Compiler/BfExprEvaluator.cpp:9670–11214

}

BfTypedValue BfExprEvaluator::MatchMethod(BfAstNode* targetSrc, BfMethodBoundExpression* methodBoundExpr, BfTypedValue target, bool allowImplicitThis, bool bypassVirtual, const StringImpl& methodName,
	BfResolvedArgs& argValues, const BfMethodGenericArguments& methodGenericArgs, BfCheckedKind checkedKind)
{
	BP_ZONE("MatchMethod");

	auto methodGenericArguments = methodGenericArgs.mArguments;

	if (bypassVirtual)
	{
		// "bypassVirtual" means that we know for sure that the target is EXACTLY the specified target type,
		//  not derived from (or implementing) the target type.  This cannot apply to interfaces.
		BF_ASSERT(!target.mType->IsInterface());
	}

	auto origTarget = target;
	if (mFunctionBindResult != NULL)
	{
		BF_ASSERT(!mFunctionBindResult->mOrigTarget);
		mFunctionBindResult->mOrigTarget = origTarget;
	}

	if (target)
	{
		if (target.mType->IsConcreteInterfaceType())
			target.mType = target.mType->GetUnderlyingType();

		// Turn T* into a T, if we can
		if ((target.mType->IsPointer()) && (target.mType->GetUnderlyingType()->IsGenericParam()))
		{
			auto underlyingType = target.mType->GetUnderlyingType();
			auto genericParam = mModule->GetGenericParamInstance((BfGenericParamType*)underlyingType);
			if (((genericParam->mTypeConstraint != NULL) && (genericParam->mTypeConstraint->IsValueType())) ||
				((genericParam->mGenericParamFlags & (BfGenericParamFlag_Struct)) != 0))
			{
				target.mType = underlyingType;
			}
		}

		if ((!target.mType->IsGenericParam()) &&
			((!target.IsSplat()) || (target.mType->IsWrappableType())) &&
			(!IsVar(target.mType)))
			target = MakeCallableTarget(targetSrc, target);
	}

// 	static int sCallIdx = 0;
// 	if (!mModule->mCompiler->mIsResolveOnly)
// 		sCallIdx++;
// 	int callIdx = sCallIdx;
// 	if (callIdx == 118)
// 	{
// 		NOP;
// 	}

	bool prevAllowVariableDeclarations = true;
	if (mModule->mCurMethodState != NULL)
	{
		// Don't allow variable declarations in arguments for this method call
		prevAllowVariableDeclarations = mModule->mCurMethodState->mCurScope->mAllowVariableDeclarations;