[FIR] ignore tests which fail because of resolve contracts violation

compiler/testData/diagnostics/tests/j+k/collectionOverrides/contains.fir.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE -PARAMETER_NAME_CHANGED_ON_OVERRIDE
 // JAVAC_EXPECTED_FILE
 // FILE: A.java

compiler/testData/diagnostics/tests/j+k/collectionOverrides/contains.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE -PARAMETER_NAME_CHANGED_ON_OVERRIDE
 // JAVAC_EXPECTED_FILE
 // FILE: A.java

compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAll.fir.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE -PARAMETER_NAME_CHANGED_ON_OVERRIDE
 // JAVAC_EXPECTED_FILE
 // FILE: A.java

compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAll.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE -PARAMETER_NAME_CHANGED_ON_OVERRIDE
 // JAVAC_EXPECTED_FILE
 // FILE: A.java

compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAndOverload.fir.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE -PARAMETER_NAME_CHANGED_ON_OVERRIDE
 
 // FILE: A.java

compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAndOverload.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE -PARAMETER_NAME_CHANGED_ON_OVERRIDE
 
 // FILE: A.java

compiler/testData/diagnostics/tests/j+k/collectionOverrides/irrelevantMapGetAbstract.fir.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // FILE: Dict.java
 
 public abstract class Dict<K, V> {

compiler/testData/diagnostics/tests/j+k/collectionOverrides/irrelevantMapGetAbstract.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // FILE: Dict.java
 
 public abstract class Dict<K, V> {

compiler/testData/diagnostics/tests/j+k/collectionOverrides/overridesBuiltinNoMagic.fir.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // FILE: X.java
 import org.jetbrains.annotations.NotNull;
 

compiler/testData/diagnostics/tests/j+k/collectionOverrides/overridesBuiltinNoMagic.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // FILE: X.java
 import org.jetbrains.annotations.NotNull;
 

compiler/testData/diagnostics/tests/j+k/collectionOverrides/removeAt.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // FIR_IDENTICAL
 // JAVAC_EXPECTED_FILE
 // FILE: A.java

compiler/testData/diagnostics/tests/j+k/collectionOverrides/removeAtInt.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // FIR_IDENTICAL
 // JAVAC_EXPECTED_FILE
 // FILE: A.java

compiler/testData/diagnostics/tests/j+k/deprecations/forMixedOverride.fir.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // FILE: J.java
 public class J {
     @Deprecated

compiler/testData/diagnostics/tests/j+k/deprecations/forMixedOverride.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // FILE: J.java
 public class J {
     @Deprecated

compiler/testData/diagnostics/tests/j+k/finalCollectionSize.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // FIR_IDENTICAL
 // JAVAC_EXPECTED_FILE
 // FILE: A.java

compiler/testData/diagnostics/tests/j+k/primitiveOverridesWithInlineClass/inlineClassErasedToPrimitiveInt.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // FIR_IDENTICAL
 // !LANGUAGE: +InlineClasses, -JvmInlineValueClasses
 // FILE: kt1.kt

compiler/testData/diagnostics/tests/j+k/rawOverride.kt

@@ -1,5 +1,6 @@
-// SKIP_TXT
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // FIR_IDENTICAL
+// SKIP_TXT
 
 // FILE: ObjectStubSerializer.java
 import org.jetbrains.annotations.*;

compiler/testData/diagnostics/tests/j+k/rawUpperBounds.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // FIR_IDENTICAL
 // SKIP_TXT
 

compiler/testData/diagnostics/tests/j+k/sam/recursiveSamsAndInvoke.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // FIR_IDENTICAL
 // FILE: MyFuture.java
 

compiler/testData/diagnostics/tests/j+k/specialBuiltIns/hashtableInheritance.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // FIR_IDENTICAL
 // FULL_JDK
 

compiler/testData/diagnostics/tests/j+k/types/noOverrideKeyword.fir.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // !SKIP_JAVAC
 // SKIP_TXT
 // !LANGUAGE: -ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated

compiler/testData/diagnostics/tests/j+k/types/noOverrideKeyword.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // !SKIP_JAVAC
 // SKIP_TXT
 // !LANGUAGE: -ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated

compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesDefinitelyNonNullable.diag.txt

@@ -1,12 +1,13 @@
-/main.kt:23:5: warning: type parameter 'X' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon.
+/main.kt:24:5: warning: type parameter 'X' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon.
     override fun takeV(x: X)
     ^
-/main.kt:24:5: warning: type parameter 'E1' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon.
+/main.kt:25:5: warning: type parameter 'E1' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon.
     override fun <E1> takeE(e: E1)
     ^
-/main.kt:26:5: warning: type parameter 'X' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon.
+/main.kt:27:5: warning: type parameter 'X' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon.
     override fun takeVList(l: List<X>)
     ^
-/main.kt:27:5: warning: type parameter 'E2' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon.
+/main.kt:28:5: warning: type parameter 'E2' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon.
     override fun <E2> takeEList(l2: List<E2>)
     ^
+

compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesDefinitelyNonNullable.fir.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // !SKIP_JAVAC
 // !LANGUAGE: -ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated
 // !LANGUAGE: +DefinitelyNonNullableTypes

compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesDefinitelyNonNullable.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // !SKIP_JAVAC
 // !LANGUAGE: -ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated
 // !LANGUAGE: +DefinitelyNonNullableTypes

compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesWarning.fir.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // !SKIP_JAVAC
 // !LANGUAGE: -ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated
 // FILE: SLRUMap.java

compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesWarning.kt

@@ -1,3 +1,4 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // !SKIP_JAVAC
 // !LANGUAGE: -ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated
 // FILE: SLRUMap.java

compiler/testData/diagnostics/tests/j+k/types/upperBoundsCheckAgainstSelfTypeInJava.kt

@@ -1,5 +1,7 @@
+// FIR_DISABLE_LAZY_RESOLVE_CHECKS
 // FIR_IDENTICAL
 // SKIP_TXT
+
 // FILE: XBreakpointProperties.java
 public abstract class XBreakpointProperties<T> {}
 // FILE: XBreakpoint.java