Update tests

This commit is contained in:
Victor Petukhov
2021-05-12 20:23:35 +03:00
parent 8602d1fcf0
commit fd6475c804
11 changed files with 28 additions and 15 deletions
@@ -2,7 +2,7 @@ package
public fun main(/*0*/ ak: AK, /*1*/ akn: AKN, /*2*/ bk: BK, /*3*/ ck: CK, /*4*/ ckn: CKN): kotlin.Unit public fun main(/*0*/ ak: AK, /*1*/ akn: AKN, /*2*/ bk: BK, /*3*/ ck: CK, /*4*/ ckn: CKN): kotlin.Unit
public open class AK : SelfType<AK!> { public open class AK : SelfType<AK> {
public constructor AK() public constructor AK()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: AK): kotlin.Unit public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: AK): kotlin.Unit
@@ -10,7 +10,7 @@ public open class AK : SelfType<AK!> {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String 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.nullness.Nullable AK?> {
public constructor AKN() public constructor AKN()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean 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.nullness.Nullable AK): kotlin.Unit
@@ -18,7 +18,7 @@ public open class AKN : SelfType<@org.jspecify.nullness.Nullable AK!> {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
} }
public open class B : SelfType<B!> { public open class B : SelfType<B> {
public constructor B() public constructor B()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: B): kotlin.Unit public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: B): kotlin.Unit
@@ -34,7 +34,7 @@ public open class BK : B {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String 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.nullness.NullMarked public open class C</*0*/ E : C<E!>> : SelfType<E> {
public constructor C</*0*/ E : C<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 equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: E): kotlin.Unit public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: E): kotlin.Unit
@@ -42,7 +42,7 @@ public open class BK : B {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
} }
public open class CK : C<CK!> { public open class CK : C<CK> {
public constructor CK() public constructor CK()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: CK): kotlin.Unit public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: CK): kotlin.Unit
@@ -50,7 +50,7 @@ public open class CK : C<CK!> {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String 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.nullness.Nullable CK?> {
public constructor CKN() public constructor CKN()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean 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.nullness.Nullable CK): kotlin.Unit
@@ -65,3 +65,4 @@ public open class CKN : C<@org.jspecify.nullness.Nullable CK!> {
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
} }
@@ -2,7 +2,7 @@ package
public fun main(/*0*/ ak: AK, /*1*/ akn: AKN, /*2*/ bk: BK, /*3*/ ck: CK, /*4*/ ckn: CKN): kotlin.Unit public fun main(/*0*/ ak: AK, /*1*/ akn: AKN, /*2*/ bk: BK, /*3*/ ck: CK, /*4*/ ckn: CKN): kotlin.Unit
public open class AK : SelfType<AK!> { public open class AK : SelfType<AK> {
public constructor AK() public constructor AK()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: AK): kotlin.Unit public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: AK): kotlin.Unit
@@ -10,7 +10,7 @@ public open class AK : SelfType<AK!> {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String 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.nullness.Nullable AK?> {
public constructor AKN() public constructor AKN()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean 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.nullness.Nullable AK): kotlin.Unit
@@ -18,7 +18,7 @@ public open class AKN : SelfType<@org.jspecify.nullness.Nullable AK!> {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
} }
public open class B : SelfType<B!> { public open class B : SelfType<B> {
public constructor B() public constructor B()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: B): kotlin.Unit public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: B): kotlin.Unit
@@ -34,7 +34,7 @@ public open class BK : B {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String 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.nullness.NullMarked public open class C</*0*/ E : C<E!>> : SelfType<E> {
public constructor C</*0*/ E : C<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 equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: E): kotlin.Unit public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: E): kotlin.Unit
@@ -42,7 +42,7 @@ public open class BK : B {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
} }
public open class CK : C<CK!> { public open class CK : C<CK> {
public constructor CK() public constructor CK()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: CK): kotlin.Unit public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: CK): kotlin.Unit
@@ -50,7 +50,7 @@ public open class CK : C<CK!> {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String 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.nullness.Nullable CK?> {
public constructor CKN() public constructor CKN()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean 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.nullness.Nullable CK): kotlin.Unit
@@ -1,3 +1,5 @@
// MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: SelfType.java // FILE: SelfType.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
@@ -1,3 +1,5 @@
// MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: SelfType.java // FILE: SelfType.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
@@ -17,7 +17,7 @@ fun main(x: ClassTypeParameterBoundWithWarnings<<!UPPER_BOUND_VIOLATED_BASED_ON_
val x2 = ClassTypeParameterBoundWithWarnings<String?>() val x2 = ClassTypeParameterBoundWithWarnings<String?>()
val y2 = ClassTypeParameterBoundWithWarnings<String>() val y2 = ClassTypeParameterBoundWithWarnings<String>()
val x3 = ClassTypeParameterBoundWithWarnings(a) val x3 = ClassTypeParameterBoundWithWarnings(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a<!>)
val y3 = ClassTypeParameterBoundWithWarnings(b) val y3 = ClassTypeParameterBoundWithWarnings(b)
val x4: ClassTypeParameterBoundWithWarnings<<!UPPER_BOUND_VIOLATED_BASED_ON_JAVA_ANNOTATIONS!>String?<!>> = ClassTypeParameterBoundWithWarnings() val x4: ClassTypeParameterBoundWithWarnings<<!UPPER_BOUND_VIOLATED_BASED_ON_JAVA_ANNOTATIONS!>String?<!>> = ClassTypeParameterBoundWithWarnings()
@@ -17,7 +17,7 @@ fun main(x: ClassTypeParameterBoundWithWarnings<<!UPPER_BOUND_VIOLATED_BASED_ON_
val x2 = ClassTypeParameterBoundWithWarnings<String?>() val x2 = ClassTypeParameterBoundWithWarnings<String?>()
val y2 = ClassTypeParameterBoundWithWarnings<String>() val y2 = ClassTypeParameterBoundWithWarnings<String>()
val x3 = ClassTypeParameterBoundWithWarnings(a) val x3 = ClassTypeParameterBoundWithWarnings(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a<!>)
val y3 = ClassTypeParameterBoundWithWarnings(b) val y3 = ClassTypeParameterBoundWithWarnings(b)
val x4: ClassTypeParameterBoundWithWarnings<<!UPPER_BOUND_VIOLATED_BASED_ON_JAVA_ANNOTATIONS!>String?<!>> = ClassTypeParameterBoundWithWarnings() val x4: ClassTypeParameterBoundWithWarnings<<!UPPER_BOUND_VIOLATED_BASED_ON_JAVA_ANNOTATIONS!>String?<!>> = ClassTypeParameterBoundWithWarnings()
@@ -4,6 +4,8 @@
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: ReturnTypeWithWarnings.java // FILE: ReturnTypeWithWarnings.java
// We've already had errors in source mode, so it's relevant only for binaries for now
// INCLUDE_JAVA_AS_BINARY
import org.jetbrains.annotations.*; import org.jetbrains.annotations.*;
@@ -4,6 +4,8 @@
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: ReturnTypeWithWarnings.java // FILE: ReturnTypeWithWarnings.java
// We've already had errors in source mode, so it's relevant only for binaries for now
// INCLUDE_JAVA_AS_BINARY
import org.jetbrains.annotations.*; import org.jetbrains.annotations.*;
@@ -4,6 +4,8 @@
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: ValueParameterWithWarnings.java // FILE: ValueParameterWithWarnings.java
// We've already had errors in source mode, so it's relevant only for binaries for now
// INCLUDE_JAVA_AS_BINARY
import org.jetbrains.annotations.*; import org.jetbrains.annotations.*;
@@ -4,6 +4,8 @@
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: ValueParameterWithWarnings.java // FILE: ValueParameterWithWarnings.java
// We've already had errors in source mode, so it's relevant only for binaries for now
// INCLUDE_JAVA_AS_BINARY
import org.jetbrains.annotations.*; import org.jetbrains.annotations.*;
@@ -28,7 +28,7 @@ class X<T>(t: T?) {
a.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>t<!>) a.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>t<!>)
val x: T = <!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a.bam()<!> val x: T = <!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a.bam()<!>
val y: T = a.baz<T>() val y: T = <!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a.baz<T>()<!>
} }
} }