Method CheckModifyResult

IDEHelper/Compiler/BfExprEvaluator.cpp:20322–20559

}

bool BfExprEvaluator::CheckModifyResult(BfTypedValue& typedVal, BfAstNode* refNode, const char* modifyType, bool onlyNeedsMut, bool emitWarning, bool skipCopyOnMutate)
{
	if (typedVal.mType->IsVar())
	{
		// Allow without error
		return true;
	}

	BfLocalVariable* localVar = NULL;
	bool isCapturedLocal = false;
	if (mResultLocalVar != NULL)
	{
		localVar = mResultLocalVar;
		localVar->mWrittenToId = mModule->mCurMethodState->GetRootMethodState()->mCurAccessId++;
	}
	else if (typedVal.IsThis())
	{
		localVar = mModule->GetThisVariable();
	}
	else if (typedVal.IsSplat())
	{
		for (auto checkLocal : mModule->mCurMethodState->mLocals)
		{
			if (checkLocal->mAddr == typedVal.mValue)
			{
				localVar = checkLocal;
				break;
			}
		}
	}
	else if (typedVal.mValue.IsArg())
	{
		auto methodState = mModule->mCurMethodState->GetNonCaptureState();
		localVar = methodState->mLocals[typedVal.mValue.mId];
	}	

	if ((typedVal.mKind == BfTypedValueKind_MutableValue) && (onlyNeedsMut))
	{
		return true;
	}

	bool canModify = typedVal.CanModify();
	if (((typedVal.mKind == BfTypedValueKind_TempAddr) || (typedVal.mKind == BfTypedValueKind_CopyOnMutateAddr_Derived)) &&
		(strcmp(modifyType, "assign to") == 0))
		mModule->Warn(0, "Assigning to temporary copy of a value. Consider using 'ref' in value source declaration.", refNode);

	auto _Fail = [&](const StringImpl& error, BfAstNode* refNode)
	{
		if (emitWarning)
			return mModule->Warn(BfWarning_BF4204_AddressOfReadOnly, error, refNode);
		else
			return mModule->Fail(error, refNode);
	};

	if (localVar != NULL)
	{
		if (!canModify)
		{