fun a(c: AutoCloseable) {
    // Unresolved reference. None of the following candidates is applicable because of receiver type mismatch:
    //  * public inline fun <T : Closeable?, R> TypeVariable(T).use(block: (TypeVariable(T)) → TypeVariable(R)):
    //    TypeVariable(R) defined in kotlin.io
    //↓↓↓
    c.use {  }
}