Ivan Kylchik
c7435ba760
We are going to deprecate `WITH_RUNTIME` directive. The main reason behind this change is that `WITH_STDLIB` directive better describes its meaning, specifically it will add kotlin stdlib to test's classpath.
56 lines
1.8 KiB
Kotlin
Vendored
56 lines
1.8 KiB
Kotlin
Vendored
// !LANGUAGE: +StrictJavaNullabilityAssertions
|
|
// TARGET_BACKEND: JVM
|
|
// IGNORE_BACKEND: JVM, JVM_IR
|
|
// WITH_STDLIB
|
|
// JVM_TARGET: 1.8
|
|
|
|
// 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.
|
|
// See KT-35698.
|
|
|
|
// 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 = J.listOfNotNull()[0]
|
|
return "Fail: should throw on get()"
|
|
} catch (e: NullPointerException) {}
|
|
|
|
try {
|
|
for (i in J.listOfNotNull()) {
|
|
return "Fail: should throw on get() in loop header"
|
|
}
|
|
}
|
|
catch (e: NullPointerException) {}
|
|
return "OK"
|
|
}
|
|
|
|
// FILE: J.java
|
|
import java.util.*;
|
|
import org.jetbrains.annotations.*;
|
|
|
|
public class J {
|
|
public static List<@NotNull Integer> listOfNotNull() {
|
|
return Collections.singletonList(null);
|
|
}
|
|
}
|
|
|
|
// FILE: NotNull.java
|
|
package org.jetbrains.annotations;
|
|
|
|
import java.lang.annotation.*;
|
|
|
|
// org.jetbrains.annotations used in the compiler is version 13, whose @NotNull does not support the TYPE_USE target (version 15 does).
|
|
// We're using our own @org.jetbrains.annotations.NotNull for testing purposes.
|
|
@Documented
|
|
@Retention(RetentionPolicy.CLASS)
|
|
@Target({ElementType.METHOD, ElementType.FIELD, ElementType.PARAMETER, ElementType.LOCAL_VARIABLE, ElementType.TYPE_USE})
|
|
public @interface NotNull {
|
|
}
|