Denis.Zharkov
2ecba6ac39
This directive anyway does not make test run twice with OI, and with NI It only once run the test with specific settings (// LANGUAGE) and ignores irrelevant (OI or NI tags)
15 lines
345 B
Kotlin
Vendored
15 lines
345 B
Kotlin
Vendored
// FIR_IDENTICAL
|
|
// !CHECK_TYPE
|
|
// SKIP_TXT
|
|
// FULL_JDK
|
|
|
|
import java.util.stream.Collectors
|
|
import java.util.stream.Stream
|
|
|
|
fun test(a: Stream<String>) {
|
|
a.collect(Collectors.toList()) checkType { _<MutableList<String>>() }
|
|
// actually the inferred type is platform
|
|
a.collect(Collectors.toList()) checkType { _<List<String?>>() }
|
|
}
|
|
|