class TypeOf<T>(t: T)

fun <T> id(t: T) = t

fun foo() {
    val i = id { 22 } //type inference error: no information for parameter
    TypeOf(i): TypeOf<()->Int>
}