52c1e9a950
=== (a : List<out Any>) is List<out Int> ===
6 lines
108 B
Plaintext
6 lines
108 B
Plaintext
// +JDK
|
|
|
|
import java.util.List
|
|
|
|
fun f(a : List<out Any>) = a is <!CANNOT_CHECK_FOR_ERASED!>List<out Int><!>
|