fun <T> foo(t: T, l: MutableList<T>) {}

fun use(vararg a: Any?) = a

fun test(ls: MutableList<String>) {
    use(<caret>foo(11, ls))
}


Resolved call:

Candidate descriptor: fun <T> foo(t: T, l: MutableList<T>): Unit defined in root package
Resulting descriptor: fun <T> foo(t: ???, l: MutableList<???>): Unit defined in root package

Explicit receiver kind = NO_EXPLICIT_RECEIVER
Dispatch receiver = NO_RECEIVER
Extension receiver = NO_RECEIVER

Value arguments mapping:

MATCH_MODULO_UNINFERRED_TYPES  t : ??? = 11
MATCH_MODULO_UNINFERRED_TYPES  l : MutableList<???> = ls
