fun <T> foo(f: () -> T) {}

fun test() {
    <caret>foo { b }
}


Resolved call:

Candidate descriptor: fun <T> foo(f: () -> T): Unit defined in root package
Resulting descriptor: fun <T> foo(f: () -> ???): 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  f : () -> ??? = { b }
