Method CheckGenericConstraints

IDEHelper/Compiler/BfModule.cpp:8686–9227

}

bool BfModule::CheckGenericConstraints(const BfGenericParamSource& genericParamSource, BfType* checkArgType, BfAstNode* checkArgTypeRef, BfGenericParamInstance* genericParamInst, BfTypeVector* methodGenericArgs, BfError** errorOut)
{
	Array<String> methodParamNameOverrides;
	auto _TypeToString = [&](BfType* type)
	{
		if (genericParamSource.mMethodInstance != NULL)
		{
			if (methodParamNameOverrides.IsEmpty())
			{
				for (auto genericParam : genericParamSource.mMethodInstance->mMethodDef->mGenericParams)
					methodParamNameOverrides.Add(genericParam->mName);
			}
			return TypeToString(type, &methodParamNameOverrides);
		}
		return TypeToString(type);
	};

	bool ignoreErrors = (errorOut == NULL) ||
		((genericParamSource.mMethodInstance == NULL) && (genericParamSource.mTypeInstance == NULL));

	if (checkArgType->IsVar())
		return true;

	BfType* origCheckArgType = checkArgType;

	if (origCheckArgType->IsRef())
		origCheckArgType = origCheckArgType->GetUnderlyingType();

	bool argIsReferenceType = false;

	int checkGenericParamFlags = 0;
	if (checkArgType->IsGenericParam())
	{
		BfGenericParamInstance* checkGenericParamInst = GetGenericParamInstance((BfGenericParamType*)checkArgType);
		checkGenericParamFlags = checkGenericParamInst->mGenericParamFlags;
		if (checkGenericParamInst->mTypeConstraint != NULL)
			checkArgType = checkGenericParamInst->mTypeConstraint;
		if (checkGenericParamInst->mGenericParamFlags & BfGenericParamFlag_Var)
			checkArgType = GetPrimitiveType(BfTypeCode_Var);

// 		if ((checkGenericParamFlags & (BfGenericParamFlag_Struct | BfGenericParamFlag_StructPtr)) != 0)
// 		{
// 			argMayBeReferenceType = false;
// 		}
// 		else
// 		{
// 			argMayBeReferenceType = true;
// 		}
	}

	if (checkArgType->IsObjectOrInterface())
		argIsReferenceType = true;

	if ((mCurMethodInstance != NULL) && (mCurMethodInstance->mIsUnspecialized) && (mCurMethodInstance->mMethodInfoEx != NULL))
	{
		for (int genericParamIdx = (int)mCurMethodInstance->mMethodInfoEx->mMethodGenericArguments.size();
			genericParamIdx < mCurMethodInstance->mMethodInfoEx->mGenericParams.size(); genericParamIdx++)
		{