class A {}

fun <T> foo(t: T) {}

fun <T> emptyList(): MutableList<T> = throw Exception()

fun bar() {
    <caret>foo(emptyList())
}


Resolved call:

Candidate descriptor: fun <T> foo(t: T): Unit
Resulting descriptor: fun <T> foo(t: MutableList<???>): Unit

Explicit receiver kind = NO_EXPLICIT_RECEIVER
This object = NO_RECEIVER
Receiver argument = NO_RECEIVER

Value arguments mapping:

MATCH_MODULO_UNINFERRED_TYPES  t : MutableList<???> = emptyList()