Dmitry Petrov
ee020ef290
Don't insert implicit null check on a value of @EnhancedNullability type used where @EnhancedNullability type is expected. This uncovers a bunch of other problems in FE and BE. KT-36343 and KT-36347 are bugs in StrictJavaNullabilityAssertions implementation which should most likely be fixed in next major language version (with proper breaking change notice). KT-36344 is a design problem which should be addressed after 1.4 issues are resolved.
46 lines
1.6 KiB
Kotlin
Vendored
46 lines
1.6 KiB
Kotlin
Vendored
// !LANGUAGE: +StrictJavaNullabilityAssertions
|
|
// TARGET_BACKEND: JVM
|
|
// IGNORE_BACKEND_FIR: JVM_IR
|
|
// IGNORE_BACKEND: JVM, JVM_IR
|
|
// WITH_RUNTIME
|
|
|
|
// Note: This fails on JVM (non-IR) with "Fail: should throw on get() in loop header". The not-null assertion is not generated when
|
|
// assigning to the loop variable. The root cause seems to be that the loop variable is a KtParameter and
|
|
// CodegenAnnotatingVisitor/RuntimeAssertionsOnDeclarationBodyChecker do not analyze the need for not-null assertions on KtParameters.
|
|
|
|
// Note: this fails on JVM_IR because of KT-36343.
|
|
// It requires potentially breaking changes in FE, so please, don't touch it until the language design decision.
|
|
|
|
// FILE: box.kt
|
|
import kotlin.test.*
|
|
|
|
fun box(): String {
|
|
// Sanity check to make sure there IS an exception even when not in a for-loop
|
|
try {
|
|
val i = JImpl().arrayOfNotNull()[0]
|
|
return "Fail: should throw on get()"
|
|
} catch (e: NullPointerException) {}
|
|
|
|
try {
|
|
for (i in JImpl().arrayOfNotNull()) {
|
|
return "Fail: should throw on get() in loop header"
|
|
}
|
|
}
|
|
catch (e: NullPointerException) {}
|
|
return "OK"
|
|
}
|
|
|
|
interface J {
|
|
fun arrayOfNotNull(): Array<Int>
|
|
}
|
|
|
|
// FILE: JImpl.java
|
|
public class JImpl implements J {
|
|
// The only way to get @EnhancedNullability on the array element type (Int) is to override a Kotlin function that
|
|
// returns `Array<Int>` (where Int is not nullable). `@NotNull Integer[]` makes the array not nullable, not String.
|
|
@Override
|
|
public Integer[] arrayOfNotNull() {
|
|
return new Integer[] { null };
|
|
}
|
|
}
|