Kirill Rakhman
35 lines
1.1 KiB
Kotlin
Vendored
35 lines
1.1 KiB
Kotlin
Vendored
// FILE: NullnessUnspecifiedTypeParameter.java
|
|
import org.jspecify.annotations.*;
|
|
|
|
@NullMarked
|
|
public class NullnessUnspecifiedTypeParameter<T> {
|
|
public void foo(T t) {}
|
|
|
|
public void bar(Test s, T t) {} // t should not become not nullable
|
|
}
|
|
|
|
// FILE: Test.java
|
|
public class Test {}
|
|
|
|
// FILE: main.kt
|
|
// jspecify_nullness_mismatch
|
|
fun main(a1: NullnessUnspecifiedTypeParameter<Any>, a2: NullnessUnspecifiedTypeParameter<<!UPPER_BOUND_VIOLATED_BASED_ON_JAVA_ANNOTATIONS!>Any?<!>>, x: Test): Unit {
|
|
// jspecify_nullness_mismatch
|
|
a1.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
|
|
a1.foo(1)
|
|
|
|
a2.foo(null)
|
|
a2.foo(1)
|
|
|
|
// jspecify_nullness_mismatch, jspecify_nullness_mismatch
|
|
a1.bar(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>, <!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
|
|
// jspecify_nullness_mismatch
|
|
a1.bar(x, <!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
|
|
a1.bar(x, 1)
|
|
|
|
// jspecify_nullness_mismatch
|
|
a2.bar(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>, null)
|
|
a2.bar(x, null)
|
|
a2.bar(x, 1)
|
|
}
|