Place !WITH_NEW_INFERENCE directive to diagnostics test data

2017-11-20 09:26:11 +03:00
parent 81b3fefa58
commit a71238bf94
468 changed files with 468 additions and 0 deletions
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 fun <T: Any> fooT22() : T? {
  return null
 }
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 package f

 fun <T> g(<!UNUSED_PARAMETER!>i<!>: Int, <!UNUSED_PARAMETER!>a<!>: Any): List<T> {throw Exception()}
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 package f

 fun <R> h(<!UNUSED_PARAMETER!>i<!>: Int, <!UNUSED_PARAMETER!>a<!>: Any, <!UNUSED_PARAMETER!>r<!>: R, <!UNUSED_PARAMETER!>f<!>: (Boolean) -> Int) = 1
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 package f

 fun <T> f(<!UNUSED_PARAMETER!>i<!>: Int, <!UNUSED_PARAMETER!>c<!>: Collection<T>): List<T> {throw Exception()}
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !DIAGNOSTICS: -CONFLICTING_JVM_DECLARATIONS
 package f

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER
 // !CHECK_TYPE

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER
 // !CHECK_TYPE

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !CHECK_TYPE

 fun <T : Any> Array<T?>.filterNotNull(): List<T> = throw Exception()
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !DIAGNOSTICS: -UNUSED_VARIABLE

 fun <T> foo(array: Array<Array<T>>): Array<Array<T>> = array
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER

 fun <T> foo(a1: Array<T>, a2: Array<out T>): T = null!!
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 fun <T> Array<T>.foo() {}

 fun test(array: Array<out Int>) {
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !DIAGNOSTICS: -UNUSED_PARAMETER
 class A<T>
 class B<T>
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !CHECK_TYPE

 package d
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 package conflictingSubstitutions
 //+JDK

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 package c

 import java.util.ArrayList
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !CHECK_TYPE
 // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !DIAGNOSTICS: -UNUSED_VARIABLE
 // AssertionError in ConstraintSystem(The constraint shouldn't contain different type variables on both sides: Y <: X)

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !DIAGNOSTICS: -UNUSED_PARAMETER

 interface Inv<I>
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !CHECK_TYPE
 interface A<T>

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 package a

 class MyList<T>(<!UNUSED_PARAMETER!>t<!>: T) {}
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !LANGUAGE: +ExpectedTypeFromCast

 fun foo() = 1
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !LANGUAGE: +ExpectedTypeFromCast

 fun <T> foo(): T = TODO()
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !LANGUAGE: +ExpectedTypeFromCast

 fun <T> foo(): T = TODO()
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !LANGUAGE: +ExpectedTypeFromCast

 class X<S> {
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !LANGUAGE: +ExpectedTypeFromCast
 // !DIAGNOSTICS: -UNUSED_VARIABLE -DEBUG_INFO_LEAKING_THIS

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 fun <X, Y, Z> foo(f: (Y) -> Z, g: (X) -> Y, x: X): Z = f(g(x))

 // TODO: Actually, this is a bug and will work when new inference is enabled
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !CHECK_TYPE

 package a
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !CHECK_TYPE
 // !DIAGNOSTICS: -UNUSED_PARAMETER, -UNUSED_VARIABLE

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !CHECK_TYPE
 // !DIAGNOSTICS: -UNUSED_PARAMETER, -UNUSED_VARIABLE

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !CHECK_TYPE
 // !DIAGNOSTICS: -UNUSED_PARAMETER, -UNUSED_VARIABLE

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !CHECK_TYPE
 // !DIAGNOSTICS: -UNUSED_PARAMETER, -UNUSED_VARIABLE

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_ANONYMOUS_PARAMETER

 fun <T, R : Any> foo(body: (R?) -> T): T = fail()
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 typealias SuspendFn = suspend () -> Unit

 val test1f: suspend () -> Unit = fun () {}
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 package h

 interface A<T> {}
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 package noInformationForParameter
 //+JDK

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 package a

 import java.util.*
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // See KT-6271
 fun foo() {
    fun fact(n: Int) = {
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 fun foo() {
    fun bar() = (fun() = <!TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>bar()<!>)
 }
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 fun foo() {
    fun bar() = {
        <!TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>bar()<!>
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 fun foo() {
    fun bar1() = <!TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>bar1()<!>

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 //KT-1127 Wrong type computed for Arrays.asList()

 package d
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !CHECK_TYPE

 //KT-2200 array(array()) breaks compiler
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 //KT-2283 Bad diagnostics of failed type inference
 package a

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // KT-2286 Improve error message for nullability check failure for extension methods

 package n
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !DIAGNOSTICS: -UNREACHABLE_CODE
 //KT-2445 Calling method with function with generic parameter causes compile-time exception
 package a
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !DIAGNOSTICS: -UNREACHABLE_CODE
 //KT-2838 Type inference failed on passing null as a nullable argument
 package a
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 //KT-2883 Type inference fails due to non-Unit value returned
 package a

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !CHECK_TYPE

 //KT-731 Missing error from type inference
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 //KT-742 Stack overflow in type inference
 package a

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 //KT-832 Provide better diagnostics when type inference fails for an expression that returns a function
 package a

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !CHECK_TYPE

 //KT-948 Make type inference work with sure()/!!
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 //For testing error messages text see DiagnosticMessageTest.testFunctionPlaceholder
 package a

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 package aa

 fun <T, R> foo(block: (T)-> R) = block
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 package a

 fun <R> foo (f: ()->R, r: MutableList<R>) = r.add(f())
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !DIAGNOSTICS: -UNUSED_VARIABLE

 class X
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 class X

 operator fun <T> X.iterator(): Iterable<T> = TODO()
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // WITH_RUNTIME

 fun Runnable.test(f: Runnable.(Int) -> Unit) {
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 package typeConstructorMismatch
 //+JDK

@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 package typeInferenceExpectedTypeMismatch

 import java.util.*
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 package a

 interface A
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 // !CHECK_TYPE

 package s
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 package Hello

 open class Base<T>
@@ -1,3 +1,4 @@
+// !WITH_NEW_INFERENCE
 package a

 fun <V: U, U> foo(<!UNUSED_PARAMETER!>v<!>: V, u: U) = u