mirror of
https://github.com/jlengrand/kotlin.git
synced 2026-05-09 15:53:37 +00:00
14 lines
258 B
Kotlin
Vendored
14 lines
258 B
Kotlin
Vendored
// IGNORE_BACKEND: JVM_IR
|
|
// Missing IMPLICIT_NOTNULL casts
|
|
import java.util.ArrayList
|
|
|
|
fun foo(): Any {
|
|
val a = ArrayList<String>()
|
|
return a.get(0)
|
|
}
|
|
|
|
fun bar(a: ArrayList<String>) {
|
|
}
|
|
|
|
// 1 checkExpressionValueIsNotNull
|
|
// 1 checkParameterIsNotNull |