compiler/testData/diagnostics/testsWithStdLib/inference/kt4975.kt

// FIR_IDENTICAL
// CHECK_TYPE

fun <T> bar(f: () -> T) : T = f()

fun test(map: MutableMap<Int, Int>) {
    val r = bar {
        map[1] = 2
    }
    r checkType { _<Unit>() }
}