azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Change to use new JSpecify package location.

Browse Source
This commit is contained in:
Kevin Bourrillion
2022-12-12 19:04:17 -08:00
committed by Space Team
parent 671480ce1a
commit 2694bdeb92
114 changed files with 245 additions and 245 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/default.fir.kt
Vendored
+1 -1
View File
@@ -1,5 +1,5 @@
// FILE: NullnessUnspecifiedTypeParameter.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class NullnessUnspecifiedTypeParameter<T> {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/default.kt
Vendored
+1 -1
View File
@@ -1,5 +1,5 @@
// FILE: NullnessUnspecifiedTypeParameter.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class NullnessUnspecifiedTypeParameter<T> {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/default.txt
Vendored
+1 -1
View File
@@ -2,7 +2,7 @@ package
public fun main(/*0*/ a1: NullnessUnspecifiedTypeParameter<kotlin.Any>, /*1*/ a2: NullnessUnspecifiedTypeParameter<kotlin.Any?>, /*2*/ x: Test): kotlin.Unit
@org.jspecify.nullness.NullMarked public open class NullnessUnspecifiedTypeParameter</*0*/ T : kotlin.Any!> {
@org.jspecify.annotations.NullMarked public open class NullnessUnspecifiedTypeParameter</*0*/ T : kotlin.Any!> {
public constructor NullnessUnspecifiedTypeParameter</*0*/ T : kotlin.Any!>()
public open fun bar(/*0*/ s: Test!, /*1*/ t: T!): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/AnnotatedBoundsOfWildcard.fir.kt
Vendored
+2 -2
View File
@@ -3,7 +3,7 @@
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: AnnotatedBoundsOfWildcard.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class AnnotatedBoundsOfWildcard {
@@ -25,7 +25,7 @@ public class Base {}
public class Derived extends Base {}
// FILE: Test.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class Test<T extends Object, E extends @Nullable Object, F extends @NullnessUnspecified Object> { }
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/AnnotatedBoundsOfWildcard.kt
Vendored
+2 -2
View File
@@ -3,7 +3,7 @@
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: AnnotatedBoundsOfWildcard.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class AnnotatedBoundsOfWildcard {
@@ -25,7 +25,7 @@ public class Base {}
public class Derived extends Base {}
// FILE: Test.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class Test<T extends Object, E extends @Nullable Object, F extends @NullnessUnspecified Object> { }
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/AnnotatedBoundsOfWildcard.txt
Vendored
+8 -8
View File
@@ -2,17 +2,17 @@ package
public fun main(/*0*/ aNotNullNotNullNotNull: Test<Derived, Derived, Derived>, /*1*/ aNotNullNotNullNull: Test<Derived, Derived, Derived?>, /*2*/ aNotNullNullNotNull: Test<Derived, Derived?, Derived>, /*3*/ aNotNullNullNull: Test<Derived, Derived?, Derived?>, /*4*/ aAnyNotNullNotNullNotNull: Test<kotlin.Any, kotlin.Any, kotlin.Any>, /*5*/ aAnyNotNullNotNullNull: Test<kotlin.Any, kotlin.Any, kotlin.Any?>, /*6*/ aAnyNotNullNullNotNull: Test<kotlin.Any, kotlin.Any?, kotlin.Any>, /*7*/ aAnyNotNullNullNull: Test<kotlin.Any, kotlin.Any?, kotlin.Any?>, /*8*/ b: AnnotatedBoundsOfWildcard): kotlin.Unit
@org.jspecify.nullness.NullMarked public open class AnnotatedBoundsOfWildcard {
@org.jspecify.annotations.NullMarked public open class AnnotatedBoundsOfWildcard {
public constructor AnnotatedBoundsOfWildcard()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open fun extendsAsIs(/*0*/ a: Test<out Base, out @org.jspecify.nullness.Nullable Base?, out @org.jspecify.nullness.NullnessUnspecified Base!>): kotlin.Unit
public open fun extendsAsIs(/*0*/ a: Test<out Base, out @org.jspecify.annotations.Nullable Base?, out @org.jspecify.annotations.NullnessUnspecified Base!>): kotlin.Unit
public open fun extendsNotNull(/*0*/ a: Test<out Base, out Base, out Base>): kotlin.Unit
public open fun extendsNullable(/*0*/ a: Test<out @org.jspecify.nullness.Nullable Base?, out @org.jspecify.nullness.Nullable Base?, out @org.jspecify.nullness.Nullable Base?>): kotlin.Unit
public open fun extendsNullable(/*0*/ a: Test<out @org.jspecify.annotations.Nullable Base?, out @org.jspecify.annotations.Nullable Base?, out @org.jspecify.annotations.Nullable Base?>): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open fun noBounds(/*0*/ a: Test<out @org.jspecify.nullness.NullnessUnspecified kotlin.Any!, out @org.jspecify.nullness.NullnessUnspecified kotlin.Any!, out @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>): kotlin.Unit
public open fun superAsIs(/*0*/ a: Test<in Base, in @org.jspecify.nullness.Nullable Base?, in @org.jspecify.nullness.NullnessUnspecified Base!>): kotlin.Unit
public open fun noBounds(/*0*/ a: Test<out @org.jspecify.annotations.NullnessUnspecified kotlin.Any!, out @org.jspecify.annotations.NullnessUnspecified kotlin.Any!, out @org.jspecify.annotations.NullnessUnspecified kotlin.Any!>): kotlin.Unit
public open fun superAsIs(/*0*/ a: Test<in Base, in @org.jspecify.annotations.Nullable Base?, in @org.jspecify.annotations.NullnessUnspecified Base!>): kotlin.Unit
public open fun superNotNull(/*0*/ a: Test<in Base, in Base, in Base>): kotlin.Unit
public open fun superNullable(/*0*/ a: Test<in @org.jspecify.nullness.Nullable Base?, in @org.jspecify.nullness.Nullable Base?, in @org.jspecify.nullness.Nullable Base?>): kotlin.Unit
public open fun superNullable(/*0*/ a: Test<in @org.jspecify.annotations.Nullable Base?, in @org.jspecify.annotations.Nullable Base?, in @org.jspecify.annotations.Nullable Base?>): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@@ -30,8 +30,8 @@ public open class Derived : Base {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@org.jspecify.nullness.NullMarked public open class Test</*0*/ T : kotlin.Any, /*1*/ E, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> {
public constructor Test</*0*/ T : kotlin.Any, /*1*/ E, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>()
@org.jspecify.annotations.NullMarked public open class Test</*0*/ T : kotlin.Any, /*1*/ E, /*2*/ F : @org.jspecify.annotations.NullnessUnspecified kotlin.Any!> {
public constructor Test</*0*/ T : kotlin.Any, /*1*/ E, /*2*/ F : @org.jspecify.annotations.NullnessUnspecified kotlin.Any!>()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Captured.kt
Vendored
+1 -1
View File
@@ -10,7 +10,7 @@ public interface J1<T> {
}
// FILE: J2.java
import org.jspecify.nullness.Nullable;
import org.jspecify.annotations.Nullable;
public interface J2<V extends @Nullable Object> extends J1<V> { }
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Captured.txt
Vendored
+1 -1
View File
@@ -1,6 +1,6 @@
package
private fun J2<*>.bar(): @org.jspecify.nullness.Nullable kotlin.Any?
private fun J2<*>.bar(): @org.jspecify.annotations.Nullable kotlin.Any?
public interface J1</*0*/ T : kotlin.Any!> {
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Defaults.kt
Vendored
+1 -1
View File
@@ -3,7 +3,7 @@
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: Defaults.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class Defaults {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Defaults.txt
Vendored
+6 -6
View File
@@ -2,17 +2,17 @@ package
public fun main(/*0*/ a: Defaults, /*1*/ x: Foo): kotlin.Unit
@org.jspecify.nullness.NullMarked public open class Defaults {
@org.jspecify.annotations.NullMarked public open class Defaults {
public constructor Defaults()
public final var defaultField: Foo
@org.jspecify.nullness.Nullable public final var field: @org.jspecify.nullness.Nullable Foo?
@org.jspecify.annotations.Nullable public final var field: @org.jspecify.annotations.Nullable Foo?
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open fun everythingNotNullable(/*0*/ x: Foo): Foo
@org.jspecify.nullness.Nullable public open fun everythingNullable(/*0*/ @org.jspecify.nullness.Nullable x: @org.jspecify.nullness.Nullable Foo?): @org.jspecify.nullness.Nullable Foo?
@org.jspecify.nullness.NullnessUnspecified public open fun everythingUnknown(/*0*/ @org.jspecify.nullness.NullnessUnspecified x: @org.jspecify.nullness.NullnessUnspecified Foo!): @org.jspecify.nullness.NullnessUnspecified Foo!
public open fun explicitlyNullnessUnspecified(/*0*/ @org.jspecify.nullness.NullnessUnspecified x: @org.jspecify.nullness.NullnessUnspecified Foo!): Foo
@org.jspecify.annotations.Nullable public open fun everythingNullable(/*0*/ @org.jspecify.annotations.Nullable x: @org.jspecify.annotations.Nullable Foo?): @org.jspecify.annotations.Nullable Foo?
@org.jspecify.annotations.NullnessUnspecified public open fun everythingUnknown(/*0*/ @org.jspecify.annotations.NullnessUnspecified x: @org.jspecify.annotations.NullnessUnspecified Foo!): @org.jspecify.annotations.NullnessUnspecified Foo!
public open fun explicitlyNullnessUnspecified(/*0*/ @org.jspecify.annotations.NullnessUnspecified x: @org.jspecify.annotations.NullnessUnspecified Foo!): Foo
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
@org.jspecify.nullness.Nullable public open fun mixed(/*0*/ x: Foo): @org.jspecify.nullness.Nullable Foo?
@org.jspecify.annotations.Nullable public open fun mixed(/*0*/ x: Foo): @org.jspecify.annotations.Nullable Foo?
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/IgnoreAnnotations.kt
Vendored
+1 -1
View File
@@ -3,7 +3,7 @@
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: IgnoreAnnotations.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class IgnoreAnnotations {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/IgnoreAnnotations.txt
Vendored
+5 -5
View File
@@ -18,14 +18,14 @@ public open class Derived : Base {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@org.jspecify.nullness.NullMarked public open class IgnoreAnnotations {
@org.jspecify.annotations.NullMarked public open class IgnoreAnnotations {
public constructor IgnoreAnnotations()
@org.jspecify.nullness.Nullable public final var field: @org.jspecify.nullness.Nullable Derived?
@org.jspecify.annotations.Nullable public final var field: @org.jspecify.annotations.Nullable Derived?
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open fun everythingNotNullable(/*0*/ x: Derived): Derived
@org.jspecify.nullness.Nullable public open fun everythingNullable(/*0*/ @org.jspecify.nullness.Nullable x: @org.jspecify.nullness.Nullable Derived?): @org.jspecify.nullness.Nullable Derived?
@org.jspecify.nullness.NullnessUnspecified public open fun everythingUnknown(/*0*/ @org.jspecify.nullness.NullnessUnspecified x: @org.jspecify.nullness.NullnessUnspecified Derived!): @org.jspecify.nullness.NullnessUnspecified Derived!
@org.jspecify.nullness.Nullable public open fun foo(/*0*/ x: Derived, /*1*/ @org.jspecify.nullness.NullnessUnspecified y: @org.jspecify.nullness.NullnessUnspecified Base!): @org.jspecify.nullness.Nullable Derived?
@org.jspecify.annotations.Nullable public open fun everythingNullable(/*0*/ @org.jspecify.annotations.Nullable x: @org.jspecify.annotations.Nullable Derived?): @org.jspecify.annotations.Nullable Derived?
@org.jspecify.annotations.NullnessUnspecified public open fun everythingUnknown(/*0*/ @org.jspecify.annotations.NullnessUnspecified x: @org.jspecify.annotations.NullnessUnspecified Derived!): @org.jspecify.annotations.NullnessUnspecified Derived!
@org.jspecify.annotations.Nullable public open fun foo(/*0*/ x: Derived, /*1*/ @org.jspecify.annotations.NullnessUnspecified y: @org.jspecify.annotations.NullnessUnspecified Base!): @org.jspecify.annotations.Nullable Derived?
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/NonPlatformTypeParameter.kt
Vendored
+1 -1
View File
@@ -4,7 +4,7 @@
// MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: NonPlatformTypeParameter.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class NonPlatformTypeParameter<T extends @Nullable Object> {
public void foo(T t) {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/NullnessUnspecifiedTypeParameter.fir.kt
Vendored
+1 -1
View File
@@ -1,7 +1,7 @@
// JSPECIFY_STATE: strict
// FILE: NullnessUnspecifiedTypeParameter.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class NullnessUnspecifiedTypeParameter<T> {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/NullnessUnspecifiedTypeParameter.kt
Vendored
+1 -1
View File
@@ -1,7 +1,7 @@
// JSPECIFY_STATE: strict
// FILE: NullnessUnspecifiedTypeParameter.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class NullnessUnspecifiedTypeParameter<T> {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/NullnessUnspecifiedTypeParameter.txt
Vendored
+1 -1
View File
@@ -2,7 +2,7 @@ package
public fun main(/*0*/ a1: NullnessUnspecifiedTypeParameter<kotlin.Any>, /*1*/ a2: NullnessUnspecifiedTypeParameter<kotlin.Any?>, /*2*/ x: Test): kotlin.Unit
@org.jspecify.nullness.NullMarked public open class NullnessUnspecifiedTypeParameter</*0*/ T : kotlin.Any> {
@org.jspecify.annotations.NullMarked public open class NullnessUnspecifiedTypeParameter</*0*/ T : kotlin.Any> {
public constructor NullnessUnspecifiedTypeParameter</*0*/ T : kotlin.Any>()
public open fun bar(/*0*/ s: Test, /*1*/ t: T): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/SelfType.fir.kt
Vendored
+4 -4
View File
@@ -1,7 +1,7 @@
// JSPECIFY_STATE: strict
// FILE: SelfType.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class SelfType<T extends SelfType<T>> {
@@ -12,7 +12,7 @@ public class SelfType<T extends SelfType<T>> {
public class B extends SelfType<B> {}
// FILE: C.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class C<E extends C<E>> extends SelfType<E> {}
@@ -21,7 +21,7 @@ public class C<E extends C<E>> extends SelfType<E> {}
public class AK extends SelfType<AK> {}
// FILE: AKN.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class AKN extends SelfType<@Nullable AK> {}
@@ -32,7 +32,7 @@ public class BK extends B {}
public class CK extends C<CK> {}
// FILE: CKN.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class CKN extends C<@Nullable CK> {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/SelfType.kt
Vendored
+4 -4
View File
@@ -1,7 +1,7 @@
// JSPECIFY_STATE: strict
// FILE: SelfType.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class SelfType<T extends SelfType<T>> {
@@ -12,7 +12,7 @@ public class SelfType<T extends SelfType<T>> {
public class B extends SelfType<B> {}
// FILE: C.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class C<E extends C<E>> extends SelfType<E> {}
@@ -21,7 +21,7 @@ public class C<E extends C<E>> extends SelfType<E> {}
public class AK extends SelfType<AK> {}
// FILE: AKN.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class AKN extends SelfType<@Nullable AK> {}
@@ -32,7 +32,7 @@ public class BK extends B {}
public class CK extends C<CK> {}
// FILE: CKN.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class CKN extends C<@Nullable CK> {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/SelfType.txt
Vendored
+6 -6
View File
@@ -10,10 +10,10 @@ public open class AK : SelfType<AK> {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
public open class AKN : SelfType<@org.jspecify.nullness.Nullable AK?> {
public open class AKN : SelfType<@org.jspecify.annotations.Nullable AK?> {
public constructor AKN()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: @org.jspecify.nullness.Nullable AK): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: @org.jspecify.annotations.Nullable AK): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@@ -34,7 +34,7 @@ public open class BK : B {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@org.jspecify.nullness.NullMarked public open class C</*0*/ E : C<E>> : SelfType<E> {
@org.jspecify.annotations.NullMarked public open class C</*0*/ E : C<E>> : SelfType<E> {
public constructor C</*0*/ E : C<E>>()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: E): kotlin.Unit
@@ -50,15 +50,15 @@ public open class CK : C<CK> {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
public open class CKN : C<@org.jspecify.nullness.Nullable CK?> {
public open class CKN : C<@org.jspecify.annotations.Nullable CK?> {
public constructor CKN()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: @org.jspecify.nullness.Nullable CK): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: @org.jspecify.annotations.Nullable CK): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@org.jspecify.nullness.NullMarked public open class SelfType</*0*/ T : SelfType<T>> {
@org.jspecify.annotations.NullMarked public open class SelfType</*0*/ T : SelfType<T>> {
public constructor SelfType</*0*/ T : SelfType<T>>()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open fun foo(/*0*/ t: T): kotlin.Unit
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Simple.kt
Vendored
+1 -1
View File
@@ -3,7 +3,7 @@
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: Simple.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class Simple {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Simple.txt
Vendored
+3 -3
View File
@@ -17,12 +17,12 @@ public open class Derived : Base {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@org.jspecify.nullness.NullMarked public open class Simple {
@org.jspecify.annotations.NullMarked public open class Simple {
public constructor Simple()
@org.jspecify.nullness.Nullable public final var field: @org.jspecify.nullness.Nullable Derived?
@org.jspecify.annotations.Nullable public final var field: @org.jspecify.annotations.Nullable Derived?
public open fun bar(): Derived
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
@org.jspecify.nullness.Nullable public open fun foo(/*0*/ x: Derived, /*1*/ @org.jspecify.nullness.NullnessUnspecified y: @org.jspecify.nullness.NullnessUnspecified Base!): @org.jspecify.nullness.Nullable Derived?
@org.jspecify.annotations.Nullable public open fun foo(/*0*/ x: Derived, /*1*/ @org.jspecify.annotations.NullnessUnspecified y: @org.jspecify.annotations.NullnessUnspecified Base!): @org.jspecify.annotations.Nullable Derived?
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/TypeArgumentsFromParameterBounds.fir.kt
Vendored
+3 -3
View File
@@ -3,13 +3,13 @@
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: TypeArgumentsFromParameterBounds.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class TypeArgumentsFromParameterBounds<T extends Object, E extends @Nullable Object, F extends @NullnessUnspecified Object> {}
// FILE: A.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class A {
@@ -17,7 +17,7 @@ public class A {
}
// FILE: B.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class B {
public void bar(TypeArgumentsFromParameterBounds<Test, Test, Test> a) {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/TypeArgumentsFromParameterBounds.kt
Vendored
+3 -3
View File
@@ -3,13 +3,13 @@
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: TypeArgumentsFromParameterBounds.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class TypeArgumentsFromParameterBounds<T extends Object, E extends @Nullable Object, F extends @NullnessUnspecified Object> {}
// FILE: A.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class A {
@@ -17,7 +17,7 @@ public class A {
}
// FILE: B.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class B {
public void bar(TypeArgumentsFromParameterBounds<Test, Test, Test> a) {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/TypeArgumentsFromParameterBounds.txt
Vendored
+3 -3
View File
@@ -2,7 +2,7 @@ package
public fun main(/*0*/ aNotNullNotNullNotNull: TypeArgumentsFromParameterBounds<Test, Test, Test>, /*1*/ aNotNullNotNullNull: TypeArgumentsFromParameterBounds<Test, Test, Test?>, /*2*/ aNotNullNullNotNull: TypeArgumentsFromParameterBounds<Test, Test?, Test>, /*3*/ aNotNullNullNull: TypeArgumentsFromParameterBounds<Test, Test?, Test?>, /*4*/ a: A, /*5*/ b: B): kotlin.Unit
@org.jspecify.nullness.NullMarked public open class A {
@org.jspecify.annotations.NullMarked public open class A {
public constructor A()
public open fun bar(/*0*/ a: TypeArgumentsFromParameterBounds<Test, Test, Test>): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
@@ -25,8 +25,8 @@ public open class Test {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@org.jspecify.nullness.NullMarked public open class TypeArgumentsFromParameterBounds</*0*/ T : kotlin.Any, /*1*/ E, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> {
public constructor TypeArgumentsFromParameterBounds</*0*/ T : kotlin.Any, /*1*/ E, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>()
@org.jspecify.annotations.NullMarked public open class TypeArgumentsFromParameterBounds</*0*/ T : kotlin.Any, /*1*/ E, /*2*/ F : @org.jspecify.annotations.NullnessUnspecified kotlin.Any!> {
public constructor TypeArgumentsFromParameterBounds</*0*/ T : kotlin.Any, /*1*/ E, /*2*/ F : @org.jspecify.annotations.NullnessUnspecified kotlin.Any!>()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/TypeParameterBounds.fir.kt
Vendored
+2 -2
View File
@@ -1,7 +1,7 @@
// JSPECIFY_STATE: strict
// FILE: A.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class A<T> {
@@ -10,7 +10,7 @@ public class A<T> {
}
// FILE: B.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class B<T> {
public void foo(T t) {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/TypeParameterBounds.kt
Vendored
+2 -2
View File
@@ -1,7 +1,7 @@
// JSPECIFY_STATE: strict
// FILE: A.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class A<T> {
@@ -10,7 +10,7 @@ public class A<T> {
}
// FILE: B.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class B<T> {
public void foo(T t) {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/TypeParameterBounds.txt
Vendored
+3 -3
View File
@@ -2,16 +2,16 @@ package
public fun </*0*/ T : Test> main(/*0*/ a1: A<kotlin.Any?>, /*1*/ a2: A<Test>, /*2*/ b1: B<kotlin.Any?>, /*3*/ b2: B<Test>, /*4*/ x: T): kotlin.Unit
@org.jspecify.nullness.NullMarked public open class A</*0*/ T : kotlin.Any> {
@org.jspecify.annotations.NullMarked public open class A</*0*/ T : kotlin.Any> {
public constructor A</*0*/ T : kotlin.Any>()
public open fun </*0*/ E : kotlin.Any> bar(/*0*/ e: E): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open fun foo(/*0*/ @org.jspecify.nullness.NullnessUnspecified t: @org.jspecify.nullness.NullnessUnspecified T!): kotlin.Unit
public open fun foo(/*0*/ @org.jspecify.annotations.NullnessUnspecified t: @org.jspecify.annotations.NullnessUnspecified T!): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@org.jspecify.nullness.NullMarked public open class B</*0*/ T : kotlin.Any> {
@org.jspecify.annotations.NullMarked public open class B</*0*/ T : kotlin.Any> {
public constructor B</*0*/ T : kotlin.Any>()
public open fun </*0*/ E : kotlin.Any> bar(/*0*/ e: E): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/UnannotatedWildcard.fir.kt
Vendored
+1 -1
View File
@@ -2,7 +2,7 @@
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: J1.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public interface J1<T extends @Nullable Object> {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/UnannotatedWildcard.kt
Vendored
+1 -1
View File
@@ -2,7 +2,7 @@
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: J1.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public interface J1<T extends @Nullable Object> {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/UnannotatedWildcard.txt
Vendored
+2 -2
View File
@@ -2,7 +2,7 @@ package
public fun baz(/*0*/ j2: J2): kotlin.Any
@org.jspecify.nullness.NullMarked public interface J1</*0*/ T> {
@org.jspecify.annotations.NullMarked public interface J1</*0*/ T> {
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public abstract fun foo(): T
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
@@ -10,7 +10,7 @@ public fun baz(/*0*/ j2: J2): kotlin.Any
}
public interface J2 {
public abstract fun bar(): J1<out @org.jspecify.nullness.Nullable kotlin.Any!>!
public abstract fun bar(): J1<out @org.jspecify.annotations.Nullable kotlin.Any!>!
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/WildcardsWithDefault.kt
Vendored
+2 -2
View File
@@ -3,7 +3,7 @@
// MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: WildcardsWithDefault.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class WildcardsWithDefault {
@@ -12,7 +12,7 @@ public class WildcardsWithDefault {
}
// FILE: A.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class A <T extends Object, E extends @Nullable Object, F extends @NullnessUnspecified Object> {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/WildcardsWithDefault.txt
Vendored
+4 -4
View File
@@ -2,19 +2,19 @@ package
public fun main(/*0*/ aNotNullNotNullNotNull: A<kotlin.Any, kotlin.Any, kotlin.Any>, /*1*/ aNotNullNotNullNull: A<kotlin.Any, kotlin.Any, kotlin.Any?>, /*2*/ aNotNullNullNotNull: A<kotlin.Any, kotlin.Any?, kotlin.Any>, /*3*/ aNotNullNullNull: A<kotlin.Any, kotlin.Any?, kotlin.Any?>, /*4*/ b: WildcardsWithDefault): kotlin.Unit
public open class A</*0*/ T : kotlin.Any!, /*1*/ E, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> {
public constructor A</*0*/ T : kotlin.Any!, /*1*/ E, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>()
public open class A</*0*/ T : kotlin.Any!, /*1*/ E, /*2*/ F : @org.jspecify.annotations.NullnessUnspecified kotlin.Any!> {
public constructor A</*0*/ T : kotlin.Any!, /*1*/ E, /*2*/ F : @org.jspecify.annotations.NullnessUnspecified kotlin.Any!>()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@org.jspecify.nullness.NullMarked public open class WildcardsWithDefault {
@org.jspecify.annotations.NullMarked public open class WildcardsWithDefault {
public constructor WildcardsWithDefault()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open fun noBoundsNotNull(/*0*/ a: A<*, *, *>): kotlin.Unit
public open fun noBoundsNullable(/*0*/ a: A<out @org.jspecify.nullness.Nullable kotlin.Any?, out @org.jspecify.nullness.Nullable kotlin.Any?, out @org.jspecify.nullness.Nullable kotlin.Any?>): kotlin.Unit
public open fun noBoundsNullable(/*0*/ a: A<out @org.jspecify.annotations.Nullable kotlin.Any?, out @org.jspecify.annotations.Nullable kotlin.Any?, out @org.jspecify.annotations.Nullable kotlin.Any?>): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/kt47396.kt
Vendored
+2 -2
View File
@@ -4,7 +4,7 @@
// MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: Foo.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public interface Foo {
@@ -12,7 +12,7 @@ public interface Foo {
}
// FILE: Bar.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public interface Bar<E extends @Nullable Object> {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/kt47396.txt
Vendored
+2 -2
View File
@@ -2,13 +2,13 @@ package
public fun test(/*0*/ foo: Foo, /*1*/ bar: Bar<kotlin.String?>): kotlin.Unit
@org.jspecify.nullness.NullMarked public interface Bar</*0*/ E> {
@org.jspecify.annotations.NullMarked public interface Bar</*0*/ E> {
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@org.jspecify.nullness.NullMarked public interface Foo {
@org.jspecify.annotations.NullMarked public interface Foo {
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public abstract fun test(/*0*/ list: Bar<*>): kotlin.Unit
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/kt47422.fir.kt
Vendored
+7 -7
View File
@@ -4,7 +4,7 @@
// MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: Foo.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public interface Foo<T extends @Nullable Object> {}
@@ -16,7 +16,7 @@ public class Util {
}
// FILE: UtilNullMarked.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class UtilNullMarked {
@@ -26,7 +26,7 @@ public class UtilNullMarked {
}
// FILE: UtilNullMarkedGeneric.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class UtilNullMarkedGeneric {
@@ -36,7 +36,7 @@ public class UtilNullMarkedGeneric {
}
// FILE: UtilNullMarkedGenericNullableBound.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class UtilNullMarkedGenericNullableBound {
@@ -46,7 +46,7 @@ public class UtilNullMarkedGenericNullableBound {
}
// FILE: UtilGenericNullableBound.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class UtilGenericNullableBound {
public static <K extends @Nullable Object> Foo<K> getFooOfK() {
@@ -55,7 +55,7 @@ public class UtilGenericNullableBound {
}
// FILE: UtilNullMarkedGenericNullnessUnspecifiedBound.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class UtilNullMarkedGenericNullnessUnspecifiedBound {
@@ -65,7 +65,7 @@ public class UtilNullMarkedGenericNullnessUnspecifiedBound {
}
// FILE: UtilGenericNullnessUnspecifiedBound.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class UtilGenericNullnessUnspecifiedBound {
public static <K extends @NullnessUnspecified Object> Foo<K> getFooOfK() {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/kt47422.kt
Vendored
+7 -7
View File
@@ -4,7 +4,7 @@
// MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: Foo.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public interface Foo<T extends @Nullable Object> {}
@@ -16,7 +16,7 @@ public class Util {
}
// FILE: UtilNullMarked.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class UtilNullMarked {
@@ -26,7 +26,7 @@ public class UtilNullMarked {
}
// FILE: UtilNullMarkedGeneric.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class UtilNullMarkedGeneric {
@@ -36,7 +36,7 @@ public class UtilNullMarkedGeneric {
}
// FILE: UtilNullMarkedGenericNullableBound.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class UtilNullMarkedGenericNullableBound {
@@ -46,7 +46,7 @@ public class UtilNullMarkedGenericNullableBound {
}
// FILE: UtilGenericNullableBound.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class UtilGenericNullableBound {
public static <K extends @Nullable Object> Foo<K> getFooOfK() {
@@ -55,7 +55,7 @@ public class UtilGenericNullableBound {
}
// FILE: UtilNullMarkedGenericNullnessUnspecifiedBound.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class UtilNullMarkedGenericNullnessUnspecifiedBound {
@@ -65,7 +65,7 @@ public class UtilNullMarkedGenericNullnessUnspecifiedBound {
}
// FILE: UtilGenericNullnessUnspecifiedBound.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class UtilGenericNullnessUnspecifiedBound {
public static <K extends @NullnessUnspecified Object> Foo<K> getFooOfK() {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/kt47422.txt
Vendored
+6 -6
View File
@@ -42,10 +42,10 @@ public open class UtilGenericNullnessUnspecifiedBound {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
// Static members
public open fun </*0*/ K : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> getFooOfK(): Foo<K!>!
public open fun </*0*/ K : @org.jspecify.annotations.NullnessUnspecified kotlin.Any!> getFooOfK(): Foo<K!>!
}
@org.jspecify.nullness.NullMarked public open class UtilNullMarked {
@org.jspecify.annotations.NullMarked public open class UtilNullMarked {
public constructor UtilNullMarked()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
@@ -55,7 +55,7 @@ public open class UtilGenericNullnessUnspecifiedBound {
public open fun getFooOfString(): Foo<kotlin.String>
}
@org.jspecify.nullness.NullMarked public open class UtilNullMarkedGeneric {
@org.jspecify.annotations.NullMarked public open class UtilNullMarkedGeneric {
public constructor UtilNullMarkedGeneric()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
@@ -65,7 +65,7 @@ public open class UtilGenericNullnessUnspecifiedBound {
public open fun </*0*/ K : kotlin.Any> getFooOfK(): Foo<K>
}
@org.jspecify.nullness.NullMarked public open class UtilNullMarkedGenericNullableBound {
@org.jspecify.annotations.NullMarked public open class UtilNullMarkedGenericNullableBound {
public constructor UtilNullMarkedGenericNullableBound()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
@@ -75,13 +75,13 @@ public open class UtilGenericNullnessUnspecifiedBound {
public open fun </*0*/ K> getFooOfK(): Foo<K>
}
@org.jspecify.nullness.NullMarked public open class UtilNullMarkedGenericNullnessUnspecifiedBound {
@org.jspecify.annotations.NullMarked public open class UtilNullMarkedGenericNullnessUnspecifiedBound {
public constructor UtilNullMarkedGenericNullnessUnspecifiedBound()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
// Static members
public open fun </*0*/ K : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> getFooOfK(): Foo<K>
public open fun </*0*/ K : @org.jspecify.annotations.NullnessUnspecified kotlin.Any!> getFooOfK(): Foo<K>
}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/kt47437.kt
Vendored
+1 -1
View File
@@ -4,7 +4,7 @@
// MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: Foo.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class Foo<T extends @Nullable Object> {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/kt47437.txt
Vendored
+1 -1
View File
@@ -2,7 +2,7 @@ package
public fun test(): Foo<kotlin.String>
@org.jspecify.nullness.NullMarked public open class Foo</*0*/ T> {
@org.jspecify.annotations.NullMarked public open class Foo</*0*/ T> {
public constructor Foo</*0*/ T>()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/kt48261.kt
Vendored
+2 -2
View File
@@ -7,7 +7,7 @@
// FILE: MyCollection.java
import java.util.AbstractCollection;
import javax.annotation.CheckForNull;
import org.jspecify.nullness.NullMarked;
import org.jspecify.annotations.NullMarked;
@NullMarked
public abstract class MyCollection<E> extends AbstractCollection<E> {
@@ -21,7 +21,7 @@ public abstract class MyCollection<E> extends AbstractCollection<E> {
import java.util.AbstractCollection;
import java.util.List;
import javax.annotation.CheckForNull;
import org.jspecify.nullness.NullMarked;
import org.jspecify.annotations.NullMarked;
@NullMarked
public abstract class MyList<E> extends MyCollection<E> implements List<E> {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/kt48261.txt
Vendored
+2 -2
View File
@@ -2,7 +2,7 @@ package
public fun go(/*0*/ myList: MyList<kotlin.String>, /*1*/ string: kotlin.String): kotlin.Boolean
@org.jspecify.nullness.NullMarked public abstract class MyCollection</*0*/ E : kotlin.Any> : java.util.AbstractCollection<E> {
@org.jspecify.annotations.NullMarked public abstract class MyCollection</*0*/ E : kotlin.Any> : java.util.AbstractCollection<E> {
public constructor MyCollection</*0*/ E : kotlin.Any>()
public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
public open override /*1*/ /*fake_override*/ fun add(/*0*/ element: E!): kotlin.Boolean
@@ -32,7 +32,7 @@ public fun go(/*0*/ myList: MyList<kotlin.String>, /*1*/ string: kotlin.String):
invisible_fake open override /*1*/ /*fake_override*/ fun hugeCapacity(/*0*/ p0: kotlin.Int): kotlin.Int
}
@org.jspecify.nullness.NullMarked public abstract class MyList</*0*/ E : kotlin.Any> : MyCollection<E>, kotlin.collections.MutableList<E> {
@org.jspecify.annotations.NullMarked public abstract class MyList</*0*/ E : kotlin.Any> : MyCollection<E>, kotlin.collections.MutableList<E> {
public constructor MyList</*0*/ E : kotlin.Any>()
public abstract override /*2*/ /*fake_override*/ val size: kotlin.Int
public open override /*2*/ /*fake_override*/ fun add(/*0*/ element: E): kotlin.Boolean
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/AnnotatedBoundsOfWildcard.fir.kt
Vendored
+2 -2
View File
@@ -2,7 +2,7 @@
// MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: AnnotatedBoundsOfWildcard.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class AnnotatedBoundsOfWildcard {
@@ -24,7 +24,7 @@ public class Base {}
public class Derived extends Base {}
// FILE: Test.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class Test<T extends Object, E extends @Nullable Object, F extends @NullnessUnspecified Object> { }
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/AnnotatedBoundsOfWildcard.kt
Vendored
+2 -2
View File
@@ -2,7 +2,7 @@
// MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: AnnotatedBoundsOfWildcard.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class AnnotatedBoundsOfWildcard {
@@ -24,7 +24,7 @@ public class Base {}
public class Derived extends Base {}
// FILE: Test.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class Test<T extends Object, E extends @Nullable Object, F extends @NullnessUnspecified Object> { }
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/AnnotatedBoundsOfWildcard.txt
Vendored
+8 -8
View File
@@ -2,17 +2,17 @@ package
public fun main(/*0*/ aNotNullNotNullNotNull: Test<Derived, Derived, Derived>, /*1*/ aNotNullNotNullNull: Test<Derived, Derived, Derived?>, /*2*/ aNotNullNullNotNull: Test<Derived, Derived?, Derived>, /*3*/ aNotNullNullNull: Test<Derived, Derived?, Derived?>, /*4*/ aAnyNotNullNotNullNotNull: Test<kotlin.Any, kotlin.Any, kotlin.Any>, /*5*/ aAnyNotNullNotNullNull: Test<kotlin.Any, kotlin.Any, kotlin.Any?>, /*6*/ aAnyNotNullNullNotNull: Test<kotlin.Any, kotlin.Any?, kotlin.Any>, /*7*/ aAnyNotNullNullNull: Test<kotlin.Any, kotlin.Any?, kotlin.Any?>, /*8*/ b: AnnotatedBoundsOfWildcard): kotlin.Unit
@org.jspecify.nullness.NullMarked public open class AnnotatedBoundsOfWildcard {
@org.jspecify.annotations.NullMarked public open class AnnotatedBoundsOfWildcard {
public constructor AnnotatedBoundsOfWildcard()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open fun extendsAsIs(/*0*/ a: Test<out Base!, out @org.jspecify.nullness.Nullable Base!, out @org.jspecify.nullness.NullnessUnspecified Base!>!): kotlin.Unit
public open fun extendsAsIs(/*0*/ a: Test<out Base!, out @org.jspecify.annotations.Nullable Base!, out @org.jspecify.annotations.NullnessUnspecified Base!>!): kotlin.Unit
public open fun extendsNotNull(/*0*/ a: Test<out Base!, out Base!, out Base!>!): kotlin.Unit
public open fun extendsNullable(/*0*/ a: Test<out @org.jspecify.nullness.Nullable Base!, out @org.jspecify.nullness.Nullable Base!, out @org.jspecify.nullness.Nullable Base!>!): kotlin.Unit
public open fun extendsNullable(/*0*/ a: Test<out @org.jspecify.annotations.Nullable Base!, out @org.jspecify.annotations.Nullable Base!, out @org.jspecify.annotations.Nullable Base!>!): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open fun noBounds(/*0*/ a: Test<out @org.jspecify.nullness.NullnessUnspecified kotlin.Any!, out @org.jspecify.nullness.NullnessUnspecified kotlin.Any!, out @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>!): kotlin.Unit
public open fun superAsIs(/*0*/ a: Test<in Base!, in @org.jspecify.nullness.Nullable Base!, in @org.jspecify.nullness.NullnessUnspecified Base!>!): kotlin.Unit
public open fun noBounds(/*0*/ a: Test<out @org.jspecify.annotations.NullnessUnspecified kotlin.Any!, out @org.jspecify.annotations.NullnessUnspecified kotlin.Any!, out @org.jspecify.annotations.NullnessUnspecified kotlin.Any!>!): kotlin.Unit
public open fun superAsIs(/*0*/ a: Test<in Base!, in @org.jspecify.annotations.Nullable Base!, in @org.jspecify.annotations.NullnessUnspecified Base!>!): kotlin.Unit
public open fun superNotNull(/*0*/ a: Test<in Base!, in Base!, in Base!>!): kotlin.Unit
public open fun superNullable(/*0*/ a: Test<in @org.jspecify.nullness.Nullable Base!, in @org.jspecify.nullness.Nullable Base!, in @org.jspecify.nullness.Nullable Base!>!): kotlin.Unit
public open fun superNullable(/*0*/ a: Test<in @org.jspecify.annotations.Nullable Base!, in @org.jspecify.annotations.Nullable Base!, in @org.jspecify.annotations.Nullable Base!>!): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@@ -30,8 +30,8 @@ public open class Derived : Base {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@org.jspecify.nullness.NullMarked public open class Test</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.nullness.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> {
public constructor Test</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.nullness.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>()
@org.jspecify.annotations.NullMarked public open class Test</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.annotations.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.annotations.NullnessUnspecified kotlin.Any!> {
public constructor Test</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.annotations.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.annotations.NullnessUnspecified kotlin.Any!>()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Captured.kt
Vendored
+1 -1
View File
@@ -10,7 +10,7 @@ public interface J1<T> {
}
// FILE: J2.java
import org.jspecify.nullness.Nullable;
import org.jspecify.annotations.Nullable;
public interface J2<V extends @Nullable Object> extends J1<V> { }
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Captured.txt
Vendored
+2 -2
View File
@@ -1,6 +1,6 @@
package
private fun J2<*>.bar(): @org.jspecify.nullness.Nullable kotlin.Any?
private fun J2<*>.bar(): @org.jspecify.annotations.Nullable kotlin.Any?
public interface J1</*0*/ T : kotlin.Any!> {
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
@@ -11,7 +11,7 @@ public interface J1</*0*/ T : kotlin.Any!> {
@org.jetbrains.annotations.Nullable public open fun </*0*/ T : kotlin.Any!> foo(/*0*/ x: J1<T!>!): @org.jetbrains.annotations.Nullable T?
}
public interface J2</*0*/ V : @org.jspecify.nullness.Nullable kotlin.Any!> : J1<V!> {
public interface J2</*0*/ V : @org.jspecify.annotations.Nullable kotlin.Any!> : J1<V!> {
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Defaults.fir.kt
Vendored
+1 -1
View File
@@ -1,7 +1,7 @@
// JSPECIFY_STATE: warn
// FILE: Defaults.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class Defaults {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Defaults.kt
Vendored
+1 -1
View File
@@ -1,7 +1,7 @@
// JSPECIFY_STATE: warn
// FILE: Defaults.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class Defaults {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Defaults.txt
Vendored
+6 -6
View File
@@ -2,17 +2,17 @@ package
public fun main(/*0*/ a: Defaults, /*1*/ x: Foo): kotlin.Unit
@org.jspecify.nullness.NullMarked public open class Defaults {
@org.jspecify.annotations.NullMarked public open class Defaults {
public constructor Defaults()
public final var defaultField: Foo!
@org.jspecify.nullness.Nullable public final var field: @org.jspecify.nullness.Nullable Foo!
@org.jspecify.annotations.Nullable public final var field: @org.jspecify.annotations.Nullable Foo!
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open fun everythingNotNullable(/*0*/ x: Foo!): Foo!
@org.jspecify.nullness.Nullable public open fun everythingNullable(/*0*/ @org.jspecify.nullness.Nullable x: @org.jspecify.nullness.Nullable Foo!): @org.jspecify.nullness.Nullable Foo!
@org.jspecify.nullness.NullnessUnspecified public open fun everythingUnknown(/*0*/ @org.jspecify.nullness.NullnessUnspecified x: @org.jspecify.nullness.NullnessUnspecified Foo!): @org.jspecify.nullness.NullnessUnspecified Foo!
public open fun explicitlyNullnessUnspecified(/*0*/ @org.jspecify.nullness.NullnessUnspecified x: @org.jspecify.nullness.NullnessUnspecified Foo!): Foo!
@org.jspecify.annotations.Nullable public open fun everythingNullable(/*0*/ @org.jspecify.annotations.Nullable x: @org.jspecify.annotations.Nullable Foo!): @org.jspecify.annotations.Nullable Foo!
@org.jspecify.annotations.NullnessUnspecified public open fun everythingUnknown(/*0*/ @org.jspecify.annotations.NullnessUnspecified x: @org.jspecify.annotations.NullnessUnspecified Foo!): @org.jspecify.annotations.NullnessUnspecified Foo!
public open fun explicitlyNullnessUnspecified(/*0*/ @org.jspecify.annotations.NullnessUnspecified x: @org.jspecify.annotations.NullnessUnspecified Foo!): Foo!
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
@org.jspecify.nullness.Nullable public open fun mixed(/*0*/ x: Foo!): @org.jspecify.nullness.Nullable Foo!
@org.jspecify.annotations.Nullable public open fun mixed(/*0*/ x: Foo!): @org.jspecify.annotations.Nullable Foo!
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/IgnoreAnnotations.fir.kt
Vendored
+1 -1
View File
@@ -1,7 +1,7 @@
// JSPECIFY_STATE: warn
// FILE: IgnoreAnnotations.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class IgnoreAnnotations {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/IgnoreAnnotations.kt
Vendored
+1 -1
View File
@@ -1,7 +1,7 @@
// JSPECIFY_STATE: warn
// FILE: IgnoreAnnotations.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class IgnoreAnnotations {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/IgnoreAnnotations.txt
Vendored
+5 -5
View File
@@ -18,14 +18,14 @@ public open class Derived : Base {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@org.jspecify.nullness.NullMarked public open class IgnoreAnnotations {
@org.jspecify.annotations.NullMarked public open class IgnoreAnnotations {
public constructor IgnoreAnnotations()
@org.jspecify.nullness.Nullable public final var field: @org.jspecify.nullness.Nullable Derived!
@org.jspecify.annotations.Nullable public final var field: @org.jspecify.annotations.Nullable Derived!
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open fun everythingNotNullable(/*0*/ x: Derived!): Derived!
@org.jspecify.nullness.Nullable public open fun everythingNullable(/*0*/ @org.jspecify.nullness.Nullable x: @org.jspecify.nullness.Nullable Derived!): @org.jspecify.nullness.Nullable Derived!
@org.jspecify.nullness.NullnessUnspecified public open fun everythingUnknown(/*0*/ @org.jspecify.nullness.NullnessUnspecified x: @org.jspecify.nullness.NullnessUnspecified Derived!): @org.jspecify.nullness.NullnessUnspecified Derived!
@org.jspecify.nullness.Nullable public open fun foo(/*0*/ x: Derived!, /*1*/ @org.jspecify.nullness.NullnessUnspecified y: @org.jspecify.nullness.NullnessUnspecified Base!): @org.jspecify.nullness.Nullable Derived!
@org.jspecify.annotations.Nullable public open fun everythingNullable(/*0*/ @org.jspecify.annotations.Nullable x: @org.jspecify.annotations.Nullable Derived!): @org.jspecify.annotations.Nullable Derived!
@org.jspecify.annotations.NullnessUnspecified public open fun everythingUnknown(/*0*/ @org.jspecify.annotations.NullnessUnspecified x: @org.jspecify.annotations.NullnessUnspecified Derived!): @org.jspecify.annotations.NullnessUnspecified Derived!
@org.jspecify.annotations.Nullable public open fun foo(/*0*/ x: Derived!, /*1*/ @org.jspecify.annotations.NullnessUnspecified y: @org.jspecify.annotations.NullnessUnspecified Base!): @org.jspecify.annotations.Nullable Derived!
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NonPlatformTypeParameter.fir.kt
Vendored
+1 -1
View File
@@ -3,7 +3,7 @@
// MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: NonPlatformTypeParameter.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class NonPlatformTypeParameter<T extends @Nullable Object> {
public void foo(T t) {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NonPlatformTypeParameter.kt
Vendored
+1 -1
View File
@@ -3,7 +3,7 @@
// MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: NonPlatformTypeParameter.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class NonPlatformTypeParameter<T extends @Nullable Object> {
public void foo(T t) {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NonPlatformTypeParameter.txt
Vendored
+3 -3
View File
@@ -2,9 +2,9 @@ package
public fun </*0*/ T : Test> main(/*0*/ a1: NonPlatformTypeParameter<kotlin.Any?>, /*1*/ a2: NonPlatformTypeParameter<Test>, /*2*/ x: T): kotlin.Unit
public open class NonPlatformTypeParameter</*0*/ T : @org.jspecify.nullness.Nullable kotlin.Any!> {
public constructor NonPlatformTypeParameter</*0*/ T : @org.jspecify.nullness.Nullable kotlin.Any!>()
public open fun </*0*/ E : @org.jspecify.nullness.Nullable kotlin.Any!> bar(/*0*/ e: E!): kotlin.Unit
public open class NonPlatformTypeParameter</*0*/ T : @org.jspecify.annotations.Nullable kotlin.Any!> {
public constructor NonPlatformTypeParameter</*0*/ T : @org.jspecify.annotations.Nullable kotlin.Any!>()
public open fun </*0*/ E : @org.jspecify.annotations.Nullable kotlin.Any!> bar(/*0*/ e: E!): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open fun foo(/*0*/ t: T!): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NullnessUnspecifiedTypeParameter.fir.kt
Vendored
+1 -1
View File
@@ -1,6 +1,6 @@
// JSPECIFY_STATE: warn
// FILE: NullnessUnspecifiedTypeParameter.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class NullnessUnspecifiedTypeParameter<T> {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NullnessUnspecifiedTypeParameter.kt
Vendored
+1 -1
View File
@@ -1,6 +1,6 @@
// JSPECIFY_STATE: warn
// FILE: NullnessUnspecifiedTypeParameter.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class NullnessUnspecifiedTypeParameter<T> {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NullnessUnspecifiedTypeParameter.txt
Vendored
+1 -1
View File
@@ -2,7 +2,7 @@ package
public fun main(/*0*/ a1: NullnessUnspecifiedTypeParameter<kotlin.Any>, /*1*/ a2: NullnessUnspecifiedTypeParameter<kotlin.Any?>, /*2*/ x: Test): kotlin.Unit
@org.jspecify.nullness.NullMarked public open class NullnessUnspecifiedTypeParameter</*0*/ T : kotlin.Any!> {
@org.jspecify.annotations.NullMarked public open class NullnessUnspecifiedTypeParameter</*0*/ T : kotlin.Any!> {
public constructor NullnessUnspecifiedTypeParameter</*0*/ T : kotlin.Any!>()
public open fun bar(/*0*/ s: Test!, /*1*/ t: T!): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/OverrideOfAnnotated.fir.kt
Vendored
+1 -1
View File
@@ -4,7 +4,7 @@
public interface Foo {}
// FILE: BaseClass.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class BaseClass {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/OverrideOfAnnotated.kt
Vendored
+1 -1
View File
@@ -4,7 +4,7 @@
public interface Foo {}
// FILE: BaseClass.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class BaseClass {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/OverrideOfAnnotated.txt
Vendored
+8 -8
View File
@@ -2,15 +2,15 @@ package
private val FOO: FOO.`<no name provided>`
@org.jspecify.nullness.NullMarked public open class BaseClass {
@org.jspecify.annotations.NullMarked public open class BaseClass {
public constructor BaseClass()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open fun everythingNotNullable(/*0*/ x: Foo!): Foo!
@org.jspecify.nullness.Nullable public open fun everythingNullable(/*0*/ @org.jspecify.nullness.Nullable x: @org.jspecify.nullness.Nullable Foo!): @org.jspecify.nullness.Nullable Foo!
@org.jspecify.nullness.NullnessUnspecified public open fun everythingUnknown(/*0*/ @org.jspecify.nullness.NullnessUnspecified x: @org.jspecify.nullness.NullnessUnspecified Foo!): @org.jspecify.nullness.NullnessUnspecified Foo!
public open fun explicitlyNullnessUnspecified(/*0*/ @org.jspecify.nullness.NullnessUnspecified x: @org.jspecify.nullness.NullnessUnspecified Foo!): Foo!
@org.jspecify.annotations.Nullable public open fun everythingNullable(/*0*/ @org.jspecify.annotations.Nullable x: @org.jspecify.annotations.Nullable Foo!): @org.jspecify.annotations.Nullable Foo!
@org.jspecify.annotations.NullnessUnspecified public open fun everythingUnknown(/*0*/ @org.jspecify.annotations.NullnessUnspecified x: @org.jspecify.annotations.NullnessUnspecified Foo!): @org.jspecify.annotations.NullnessUnspecified Foo!
public open fun explicitlyNullnessUnspecified(/*0*/ @org.jspecify.annotations.NullnessUnspecified x: @org.jspecify.annotations.NullnessUnspecified Foo!): Foo!
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
@org.jspecify.nullness.Nullable public open fun mixed(/*0*/ x: Foo!): @org.jspecify.nullness.Nullable Foo!
@org.jspecify.annotations.Nullable public open fun mixed(/*0*/ x: Foo!): @org.jspecify.annotations.Nullable Foo!
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@@ -48,10 +48,10 @@ public final class WrongReturnTypes : BaseClass {
public constructor WrongReturnTypes()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ fun everythingNotNullable(/*0*/ x: Foo): Foo?
@org.jspecify.nullness.Nullable public open override /*1*/ /*fake_override*/ fun everythingNullable(/*0*/ @org.jspecify.nullness.Nullable x: @org.jspecify.nullness.Nullable Foo!): @org.jspecify.nullness.Nullable Foo!
@org.jspecify.nullness.NullnessUnspecified public open override /*1*/ /*fake_override*/ fun everythingUnknown(/*0*/ @org.jspecify.nullness.NullnessUnspecified x: @org.jspecify.nullness.NullnessUnspecified Foo!): @org.jspecify.nullness.NullnessUnspecified Foo!
@org.jspecify.annotations.Nullable public open override /*1*/ /*fake_override*/ fun everythingNullable(/*0*/ @org.jspecify.annotations.Nullable x: @org.jspecify.annotations.Nullable Foo!): @org.jspecify.annotations.Nullable Foo!
@org.jspecify.annotations.NullnessUnspecified public open override /*1*/ /*fake_override*/ fun everythingUnknown(/*0*/ @org.jspecify.annotations.NullnessUnspecified x: @org.jspecify.annotations.NullnessUnspecified Foo!): @org.jspecify.annotations.NullnessUnspecified Foo!
public open override /*1*/ fun explicitlyNullnessUnspecified(/*0*/ x: Foo): Foo?
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
@org.jspecify.nullness.Nullable public open override /*1*/ /*fake_override*/ fun mixed(/*0*/ x: Foo!): @org.jspecify.nullness.Nullable Foo!
@org.jspecify.annotations.Nullable public open override /*1*/ /*fake_override*/ fun mixed(/*0*/ x: Foo!): @org.jspecify.annotations.Nullable Foo!
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/SelfType.fir.kt
Vendored
+4 -4
View File
@@ -2,7 +2,7 @@
// MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: SelfType.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class SelfType<T extends SelfType<T>> {
@@ -13,7 +13,7 @@ public class SelfType<T extends SelfType<T>> {
public class B extends SelfType<B> {}
// FILE: C.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class C<E extends C<E>> extends SelfType<E> {}
@@ -22,7 +22,7 @@ public class C<E extends C<E>> extends SelfType<E> {}
public class AK extends SelfType<AK> {}
// FILE: AKN.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class AKN extends SelfType<@Nullable AK> {}
@@ -33,7 +33,7 @@ public class BK extends B {}
public class CK extends C<CK> {}
// FILE: CKN.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class CKN extends C<@Nullable CK> {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/SelfType.kt
Vendored
+4 -4
View File
@@ -2,7 +2,7 @@
// MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: SelfType.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class SelfType<T extends SelfType<T>> {
@@ -13,7 +13,7 @@ public class SelfType<T extends SelfType<T>> {
public class B extends SelfType<B> {}
// FILE: C.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class C<E extends C<E>> extends SelfType<E> {}
@@ -22,7 +22,7 @@ public class C<E extends C<E>> extends SelfType<E> {}
public class AK extends SelfType<AK> {}
// FILE: AKN.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class AKN extends SelfType<@Nullable AK> {}
@@ -33,7 +33,7 @@ public class BK extends B {}
public class CK extends C<CK> {}
// FILE: CKN.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class CKN extends C<@Nullable CK> {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/SelfType.txt
Vendored
+6 -6
View File
@@ -10,10 +10,10 @@ public open class AK : SelfType<AK!> {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
public open class AKN : SelfType<@org.jspecify.nullness.Nullable AK!> {
public open class AKN : SelfType<@org.jspecify.annotations.Nullable AK!> {
public constructor AKN()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: @org.jspecify.nullness.Nullable AK!): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: @org.jspecify.annotations.Nullable AK!): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@@ -34,7 +34,7 @@ public open class BK : B {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@org.jspecify.nullness.NullMarked public open class C</*0*/ E : C<E!>!> : SelfType<E!> {
@org.jspecify.annotations.NullMarked public open class C</*0*/ E : C<E!>!> : SelfType<E!> {
public constructor C</*0*/ E : C<E!>!>()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: E!): kotlin.Unit
@@ -50,15 +50,15 @@ public open class CK : C<CK!> {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
public open class CKN : C<@org.jspecify.nullness.Nullable CK!> {
public open class CKN : C<@org.jspecify.annotations.Nullable CK!> {
public constructor CKN()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: @org.jspecify.nullness.Nullable CK!): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: @org.jspecify.annotations.Nullable CK!): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@org.jspecify.nullness.NullMarked public open class SelfType</*0*/ T : SelfType<T!>!> {
@org.jspecify.annotations.NullMarked public open class SelfType</*0*/ T : SelfType<T!>!> {
public constructor SelfType</*0*/ T : SelfType<T!>!>()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open fun foo(/*0*/ t: T!): kotlin.Unit
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Simple.fir.kt
Vendored
+1 -1
View File
@@ -1,7 +1,7 @@
// JSPECIFY_STATE: warn
// FILE: Simple.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class Simple {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Simple.kt
Vendored
+1 -1
View File
@@ -1,7 +1,7 @@
// JSPECIFY_STATE: warn
// FILE: Simple.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class Simple {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Simple.txt
Vendored
+3 -3
View File
@@ -17,12 +17,12 @@ public open class Derived : Base {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@org.jspecify.nullness.NullMarked public open class Simple {
@org.jspecify.annotations.NullMarked public open class Simple {
public constructor Simple()
@org.jspecify.nullness.Nullable public final var field: @org.jspecify.nullness.Nullable Derived!
@org.jspecify.annotations.Nullable public final var field: @org.jspecify.annotations.Nullable Derived!
public open fun bar(): Derived!
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
@org.jspecify.nullness.Nullable public open fun foo(/*0*/ x: Derived!, /*1*/ @org.jspecify.nullness.NullnessUnspecified y: @org.jspecify.nullness.NullnessUnspecified Base!): @org.jspecify.nullness.Nullable Derived!
@org.jspecify.annotations.Nullable public open fun foo(/*0*/ x: Derived!, /*1*/ @org.jspecify.annotations.NullnessUnspecified y: @org.jspecify.annotations.NullnessUnspecified Base!): @org.jspecify.annotations.Nullable Derived!
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeArgumentsFromParameterBounds.fir.kt
Vendored
+3 -3
View File
@@ -2,13 +2,13 @@
// MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: TypeArgumentsFromParameterBounds.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class TypeArgumentsFromParameterBounds<T extends Object, E extends @Nullable Object, F extends @NullnessUnspecified Object> {}
// FILE: A.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class A {
@@ -16,7 +16,7 @@ public class A {
}
// FILE: B.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class B {
public void bar(TypeArgumentsFromParameterBounds<Test, Test, Test> a) {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeArgumentsFromParameterBounds.kt
Vendored
+3 -3
View File
@@ -2,13 +2,13 @@
// MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: TypeArgumentsFromParameterBounds.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class TypeArgumentsFromParameterBounds<T extends Object, E extends @Nullable Object, F extends @NullnessUnspecified Object> {}
// FILE: A.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class A {
@@ -16,7 +16,7 @@ public class A {
}
// FILE: B.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class B {
public void bar(TypeArgumentsFromParameterBounds<Test, Test, Test> a) {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeArgumentsFromParameterBounds.txt
Vendored
+3 -3
View File
@@ -2,7 +2,7 @@ package
public fun main(/*0*/ aNotNullNotNullNotNull: TypeArgumentsFromParameterBounds<Test, Test, Test>, /*1*/ aNotNullNotNullNull: TypeArgumentsFromParameterBounds<Test, Test, Test?>, /*2*/ aNotNullNullNotNull: TypeArgumentsFromParameterBounds<Test, Test?, Test>, /*3*/ aNotNullNullNull: TypeArgumentsFromParameterBounds<Test, Test?, Test?>, /*4*/ a: A, /*5*/ b: B): kotlin.Unit
@org.jspecify.nullness.NullMarked public open class A {
@org.jspecify.annotations.NullMarked public open class A {
public constructor A()
public open fun bar(/*0*/ a: TypeArgumentsFromParameterBounds<Test!, Test!, Test!>!): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
@@ -25,8 +25,8 @@ public open class Test {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@org.jspecify.nullness.NullMarked public open class TypeArgumentsFromParameterBounds</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.nullness.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> {
public constructor TypeArgumentsFromParameterBounds</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.nullness.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>()
@org.jspecify.annotations.NullMarked public open class TypeArgumentsFromParameterBounds</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.annotations.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.annotations.NullnessUnspecified kotlin.Any!> {
public constructor TypeArgumentsFromParameterBounds</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.annotations.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.annotations.NullnessUnspecified kotlin.Any!>()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeParameterBounds.fir.kt
Vendored
+2 -2
View File
@@ -1,6 +1,6 @@
// JSPECIFY_STATE: warn
// FILE: A.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class A<T> {
@@ -9,7 +9,7 @@ public class A<T> {
}
// FILE: B.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class B<T> {
public void foo(T t) {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeParameterBounds.kt
Vendored
+2 -2
View File
@@ -1,6 +1,6 @@
// JSPECIFY_STATE: warn
// FILE: A.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class A<T> {
@@ -9,7 +9,7 @@ public class A<T> {
}
// FILE: B.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class B<T> {
public void foo(T t) {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeParameterBounds.txt
Vendored
+3 -3
View File
@@ -2,16 +2,16 @@ package
public fun </*0*/ T : Test> main(/*0*/ a1: A<kotlin.Any?>, /*1*/ a2: A<Test>, /*2*/ b1: B<kotlin.Any?>, /*3*/ b2: B<Test>, /*4*/ x: T): kotlin.Unit
@org.jspecify.nullness.NullMarked public open class A</*0*/ T : kotlin.Any!> {
@org.jspecify.annotations.NullMarked public open class A</*0*/ T : kotlin.Any!> {
public constructor A</*0*/ T : kotlin.Any!>()
public open fun </*0*/ E : kotlin.Any!> bar(/*0*/ e: E!): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open fun foo(/*0*/ @org.jspecify.nullness.NullnessUnspecified t: @org.jspecify.nullness.NullnessUnspecified T!): kotlin.Unit
public open fun foo(/*0*/ @org.jspecify.annotations.NullnessUnspecified t: @org.jspecify.annotations.NullnessUnspecified T!): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@org.jspecify.nullness.NullMarked public open class B</*0*/ T : kotlin.Any!> {
@org.jspecify.annotations.NullMarked public open class B</*0*/ T : kotlin.Any!> {
public constructor B</*0*/ T : kotlin.Any!>()
public open fun </*0*/ E : kotlin.Any!> bar(/*0*/ e: E!): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/UnannotatedWildcard.kt
Vendored
+1 -1
View File
@@ -1,7 +1,7 @@
// FIR_IDENTICAL
// JSPECIFY_STATE: warn
// FILE: J1.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public interface J1<T extends @Nullable Object> {
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/UnannotatedWildcard.txt
Vendored
+2 -2
View File
@@ -2,7 +2,7 @@ package
public fun baz(/*0*/ j2: J2): kotlin.Any
@org.jspecify.nullness.NullMarked public interface J1</*0*/ T : @org.jspecify.nullness.Nullable kotlin.Any!> {
@org.jspecify.annotations.NullMarked public interface J1</*0*/ T : @org.jspecify.annotations.Nullable kotlin.Any!> {
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public abstract fun foo(): T!
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
@@ -10,7 +10,7 @@ public fun baz(/*0*/ j2: J2): kotlin.Any
}
public interface J2 {
public abstract fun bar(): J1<out @org.jspecify.nullness.Nullable kotlin.Any!>!
public abstract fun bar(): J1<out @org.jspecify.annotations.Nullable kotlin.Any!>!
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/WildcardsWithDefault.kt
Vendored
+2 -2
View File
@@ -3,7 +3,7 @@
// MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: WildcardsWithDefault.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
@NullMarked
public class WildcardsWithDefault {
@@ -12,7 +12,7 @@ public class WildcardsWithDefault {
}
// FILE: A.java
import org.jspecify.nullness.*;
import org.jspecify.annotations.*;
public class A <T extends Object, E extends @Nullable Object, F extends @NullnessUnspecified Object> {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/WildcardsWithDefault.txt
Vendored
+4 -4
View File
@@ -2,19 +2,19 @@ package
public fun main(/*0*/ aNotNullNotNullNotNull: A<kotlin.Any, kotlin.Any, kotlin.Any>, /*1*/ aNotNullNotNullNull: A<kotlin.Any, kotlin.Any, kotlin.Any?>, /*2*/ aNotNullNullNotNull: A<kotlin.Any, kotlin.Any?, kotlin.Any>, /*3*/ aNotNullNullNull: A<kotlin.Any, kotlin.Any?, kotlin.Any?>, /*4*/ b: WildcardsWithDefault): kotlin.Unit
public open class A</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.nullness.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> {
public constructor A</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.nullness.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>()
public open class A</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.annotations.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.annotations.NullnessUnspecified kotlin.Any!> {
public constructor A</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.annotations.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.annotations.NullnessUnspecified kotlin.Any!>()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@org.jspecify.nullness.NullMarked public open class WildcardsWithDefault {
@org.jspecify.annotations.NullMarked public open class WildcardsWithDefault {
public constructor WildcardsWithDefault()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open fun noBoundsNotNull(/*0*/ a: A<*, *, *>!): kotlin.Unit
public open fun noBoundsNullable(/*0*/ a: A<out @org.jspecify.nullness.Nullable kotlin.Any!, out @org.jspecify.nullness.Nullable kotlin.Any!, out @org.jspecify.nullness.Nullable kotlin.Any!>!): kotlin.Unit
public open fun noBoundsNullable(/*0*/ a: A<out @org.jspecify.annotations.Nullable kotlin.Any!, out @org.jspecify.annotations.Nullable kotlin.Any!, out @org.jspecify.annotations.Nullable kotlin.Any!>!): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/kt47899.fir.kt
Vendored
+1 -1
View File
@@ -1,7 +1,7 @@
// JSPECIFY_STATE: warn
// FILE: Foo.java
import org.jspecify.nullness.Nullable;
import org.jspecify.annotations.Nullable;
public class Foo {
public static <T> void gauge(@Nullable T stateObject) {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/kt47899.kt
Vendored
+1 -1
View File
@@ -1,7 +1,7 @@
// JSPECIFY_STATE: warn
// FILE: Foo.java
import org.jspecify.nullness.Nullable;
import org.jspecify.annotations.Nullable;
public class Foo {
public static <T> void gauge(@Nullable T stateObject) {}
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/kt47899.txt
Vendored
+1 -1
View File
@@ -9,5 +9,5 @@ public open class Foo {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
// Static members
public open fun </*0*/ T : kotlin.Any!> gauge(/*0*/ @org.jspecify.nullness.Nullable stateObject: @org.jspecify.nullness.Nullable T!): kotlin.Unit
public open fun </*0*/ T : kotlin.Any!> gauge(/*0*/ @org.jspecify.annotations.Nullable stateObject: @org.jspecify.annotations.Nullable T!): kotlin.Unit
}