Errors(errors)
        } ?: NoResolution

    override fun expressionResolution(expr: Expr): ResolutionTrace.ResolutionOrErrors<ObjectOrigin> =
        expressionResolution[expr]?.let { resolution ->
            check(expr !in elementErrors)
            Resolution(resolution)
        } ?: elementErrors[expr]?.let { errors ->
            Errors(errors)
        } ?: NoResolution

                is ResolutionTrace.ResolutionOrErrors.Errors -> ValueFactoryResolution.ValueFactoryNotResolved(mapValueFactoryErrors(exprResolution.errors))
                ResolutionTrace.ResolutionOrErrors.NoResolution -> ValueFactoryResolution.ValueFactoryNotResolved(listOf(UnresolvedBase))
            }
        }

        fun visitValue(value: DeclarativeDocument.ValueNode) {
            when (value) {

        val assignmentInBlock = (unresolvedFunctionCall.args.single() as FunctionArgument.Lambda).block.statements.single() as Assignment

        assertIs<ResolutionTrace.ResolutionOrErrors.NoResolution>(resolver.trace.assignmentResolution(assignmentInBlock))
    }

    class TopLevelReceiver {
        @Adding
        fun f(@Suppress("UNUSED_PARAMETER") x: Int) = 0

        @get:Restricted