Method CompareDeclTypes

IDEHelper/Compiler/BfModule.cpp:26099–26138

}

void BfModule::CompareDeclTypes(BfTypeInstance* typeInst, BfTypeDef* newDeclType, BfTypeDef* prevDeclType, bool& isBetter, bool& isWorse)
{
	if ((!prevDeclType->IsExtension()) && (newDeclType->IsExtension()))
	{
		// When we provide an extension override in the same project a root type override
		isBetter = true;
		isWorse = false;
	}
	else
	{
		isBetter = newDeclType->mProject->ContainsReference(prevDeclType->mProject);
		isWorse = prevDeclType->mProject->ContainsReference(newDeclType->mProject);
	}

	if ((isBetter == isWorse) && (typeInst != NULL) && (newDeclType->IsExtension()) && (prevDeclType->IsExtension()))
	{
		if ((typeInst->mGenericTypeInfo != NULL) && (typeInst->mGenericTypeInfo->mGenericExtensionInfo != NULL))
		{
			isBetter = false;
			isWorse = false;

			auto newConstraints = typeInst->GetGenericParamsVector(newDeclType);
			auto prevConstraints = typeInst->GetGenericParamsVector(prevDeclType);

			for (int genericIdx = 0; genericIdx < (int)newConstraints->size(); genericIdx++)
			{
				auto newConstraint = (*newConstraints)[genericIdx];
				auto prevConstraint = (*prevConstraints)[genericIdx];

				bool newIsSubset = AreConstraintsSubset(newConstraint, prevConstraint);
				bool prevIsSubset = AreConstraintsSubset(prevConstraint, newConstraint);

				if ((prevIsSubset) && (!newIsSubset))
					isBetter = true;
				if ((!prevIsSubset) && (newIsSubset))
					isWorse = true;
			}
		}
	}
}

bool BfModule::SlotVirtualMethod(BfMethodInstance* methodInstance, BfAmbiguityContext* ambiguityContext)
{