Dmitriy Novozhilov
17 lines
300 B
Kotlin
Vendored
17 lines
300 B
Kotlin
Vendored
|
|
package a
|
|
|
|
interface Closeable {}
|
|
class C : Closeable {}
|
|
|
|
public inline fun <T: Closeable, R> T.use1(block: (T)-> R) : R {
|
|
return block(this)
|
|
}
|
|
|
|
fun main() {
|
|
C().<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>use1<!> {
|
|
w -> // ERROR here
|
|
<!UNRESOLVED_REFERENCE!>x<!>
|
|
}
|
|
}
|