is AssignmentResolver.AssignmentAdditionResult.UnresolvedValueUsedInLhs -> UnassignedValueUsed(additionResult, lhs, rhs)
                        is AssignmentResolver.AssignmentAdditionResult.UnresolvedValueUsedInRhs -> UnassignedValueUsed(additionResult, lhs, rhs)

                c2.d = c1.d
                """.trimIndent()
            )
        ).run {
            val shouldBeUnassigned = elements[2]
            assertIs<AssignmentTraceElement.UnassignedValueUsed>(shouldBeUnassigned)
            val assignmentAdditionResult = shouldBeUnassigned.assignmentAdditionResult
            assertIs<AssignmentResolver.AssignmentAdditionResult.UnresolvedValueUsedInRhs>(assignmentAdditionResult)

        val errorMessage = when (unassigned) {
            is AssignmentTraceElement.Reassignment -> "Value reassigned"
            is AssignmentTraceElement.UnassignedValueUsed -> "Unassigned value used"
        }
        return "${elementLocationString(unassigned.lhs.receiverObject.originElement)}: $errorMessage in ${unassigned.lhs} := ${unassigned.rhs}"
    }

    private

fun printAssignmentTrace(trace: AssignmentTrace) {
    trace.elements.forEach { element ->
        when (element) {
            is AssignmentTraceElement.UnassignedValueUsed -> {
                val locationString = when (val result = element.assignmentAdditionResult) {
                    is AssignmentResolver.AssignmentAdditionResult.Reassignment,