Migrate diagnostic tests to 1.4

2019-12-20 15:01:15 +03:00
parent 07d35a3ad1
commit 8871c8b4fd
34 changed files with 87 additions and 61 deletions
@@ -1,3 +1,5 @@
+// !LANGUAGE: +ProhibitTypeParametersForLocalVariables
+
 annotation class A1
 annotation class A2(val some: Int = 12)

@@ -1,3 +1,5 @@
+// !LANGUAGE: +ProhibitTypeParametersForLocalVariables
+
 annotation class A1
 annotation class A2(val some: Int = 12)

@@ -7,6 +9,6 @@ class SomeClass {
    val <<!WRONG_ANNOTATION_TARGET!>@A1<!> <!WRONG_ANNOTATION_TARGET!>@A2(3)<!> <!REPEATED_ANNOTATION, WRONG_ANNOTATION_TARGET!>@A2<!> <!REPEATED_ANNOTATION, WRONG_ANNOTATION_TARGET!>@A1(<!TOO_MANY_ARGUMENTS!>12<!>)<!> <!REPEATED_ANNOTATION, WRONG_ANNOTATION_TARGET!>@A2(<!TYPE_MISMATCH!>"Test"<!>)<!> T> T.field: Int get() = 12

    fun foo() {
-        val <!LOCAL_VARIABLE_WITH_TYPE_PARAMETERS_WARNING!><<!WRONG_ANNOTATION_TARGET!>@<!DEBUG_INFO_MISSING_UNRESOLVED!>A1<!><!> <!WRONG_ANNOTATION_TARGET!>@<!DEBUG_INFO_MISSING_UNRESOLVED!>A2<!>(3)<!> <!WRONG_ANNOTATION_TARGET!>@<!DEBUG_INFO_MISSING_UNRESOLVED!>A2<!><!> <!WRONG_ANNOTATION_TARGET!>@<!DEBUG_INFO_MISSING_UNRESOLVED!>A1<!>(12)<!> <!WRONG_ANNOTATION_TARGET!>@<!DEBUG_INFO_MISSING_UNRESOLVED!>A2<!>("Test")<!> T><!> <!UNUSED_VARIABLE!>localVal<!> = 12
+        val <!LOCAL_VARIABLE_WITH_TYPE_PARAMETERS!><<!WRONG_ANNOTATION_TARGET!>@<!DEBUG_INFO_MISSING_UNRESOLVED!>A1<!><!> <!WRONG_ANNOTATION_TARGET!>@<!DEBUG_INFO_MISSING_UNRESOLVED!>A2<!>(3)<!> <!WRONG_ANNOTATION_TARGET!>@<!DEBUG_INFO_MISSING_UNRESOLVED!>A2<!><!> <!WRONG_ANNOTATION_TARGET!>@<!DEBUG_INFO_MISSING_UNRESOLVED!>A1<!>(12)<!> <!WRONG_ANNOTATION_TARGET!>@<!DEBUG_INFO_MISSING_UNRESOLVED!>A2<!>("Test")<!> T><!> <!UNUSED_VARIABLE!>localVal<!> = 12
    }
 }
@@ -1,3 +1,4 @@
+// !LANGUAGE: -NonParenthesizedAnnotationsOnFunctionalTypes
 // !DIAGNOSTICS: -UNUSED_VARIABLE -CAST_NEVER_SUCCEEDS -CANNOT_CHECK_FOR_ERASED -UNCHECKED_CAST -UNUSED_ANONYMOUS_PARAMETER
 // SKIP_TXT
 // Issue: KT-31734
@@ -1,3 +1,4 @@
+// !LANGUAGE: -NonParenthesizedAnnotationsOnFunctionalTypes
 // !DIAGNOSTICS: -UNUSED_VARIABLE -CAST_NEVER_SUCCEEDS -CANNOT_CHECK_FOR_ERASED -UNCHECKED_CAST -UNUSED_ANONYMOUS_PARAMETER
 // SKIP_TXT
 // Issue: KT-31734
@@ -1,6 +1,6 @@
 // !WITH_NEW_INFERENCE
 // !CHECK_TYPE
-// !LANGUAGE: +ProhibitAssigningSingleElementsToVarargsInNamedForm
+// !LANGUAGE: +ProhibitAssigningSingleElementsToVarargsInNamedForm +AllowAssigningArrayElementsToVarargsInNamedFormForFunctions

 fun <T> array1(vararg a : T) = a

@@ -14,8 +14,8 @@ fun main() {
    <!INAPPLICABLE_CANDIDATE!>join<!>(1, *"2")
    join(x = 1, a = "2")
    <!INAPPLICABLE_CANDIDATE!>join<!>(x = *1, a = *"2")
-    join(x = 1, a = *a)
-    <!INAPPLICABLE_CANDIDATE!>join<!>(x = 1, a = *b)
+    <!INAPPLICABLE_CANDIDATE!>join<!>(x = 1, a = a)
+    <!INAPPLICABLE_CANDIDATE!>join<!>(x = 1, a = b)
    join(1, *a)
    <!INAPPLICABLE_CANDIDATE!>join<!>(1, *b)
    <!INAPPLICABLE_CANDIDATE!>join<!>(1, *a, "3")
@@ -25,14 +25,14 @@ fun main() {
    join(1, "4", *a)
    <!INAPPLICABLE_CANDIDATE!>join<!>(1, "4", *a, *a, "3")
    <!INAPPLICABLE_CANDIDATE!>join<!>(1, "4", *a, *b, "3")
-    join(a = *a, x = 1)
-    <!INAPPLICABLE_CANDIDATE!>join<!>(a = *b, x = 1)
+    <!INAPPLICABLE_CANDIDATE!>join<!>(a = a, x = 1)
+    <!INAPPLICABLE_CANDIDATE!>join<!>(a = b, x = 1)
    <!INAPPLICABLE_CANDIDATE!>join<!>(a = a, x = 1)

    joinG<String>(1, "2")
    joinG<String>(*1, "2")
    <!INAPPLICABLE_CANDIDATE!>joinG<!><String>(1, *"2")
-    joinG<String>(x = 1, a = *a)
+    <!INAPPLICABLE_CANDIDATE!>joinG<!><String>(x = 1, a = a)
    joinG<String>(x = 1, a = "2")
    <!INAPPLICABLE_CANDIDATE!>joinG<!><String>(x = *1, a = *"2")
    joinG<String>(1, *a)
@@ -40,12 +40,12 @@ fun main() {
    <!INAPPLICABLE_CANDIDATE!>joinG<!><String>(1, "4", *a, "3")
    joinG<String>(1, "4", *a)
    <!INAPPLICABLE_CANDIDATE!>joinG<!><String>(1, "4", *a, *a, "3")
-    joinG<String>(a = *a, x = 1)
+    <!INAPPLICABLE_CANDIDATE!>joinG<!><String>(a = a, x = 1)

    joinG(1, "2")
    joinG(*1, "2")
    <!INAPPLICABLE_CANDIDATE!>joinG<!>(1, *"2")
-    joinG(x = 1, a = *a)
+    joinG(x = 1, a = a)
    joinG(x = 1, a = "2")
    <!INAPPLICABLE_CANDIDATE!>joinG<!>(x = *1, a = *"2")
    joinG(1, *a)
@@ -53,7 +53,7 @@ fun main() {
    <!INAPPLICABLE_CANDIDATE!>joinG<!>(1, "4", *a, "3")
    joinG(1, "4", *a)
    <!INAPPLICABLE_CANDIDATE!>joinG<!>(1, "4", *a, *a, "3")
-    joinG(a = *a, x = 1)
+    joinG(a = a, x = 1)

    val x1 = joinT(1, "2")
    checkSubtype<String?>(x1)
@@ -69,10 +69,10 @@ fun main() {
    checkSubtype<String?>(x9)
    val x10 = <!INAPPLICABLE_CANDIDATE!>joinT<!>(1, "4", *a, *a, "3")
    <!INAPPLICABLE_CANDIDATE!>checkSubtype<!><String?>(x10)
-    val x11 = joinT(a = *a, x = 1)
-    checkSubtype<String?>(x11)
-    val x12 = joinT(x = 1, a = *a)
-    checkSubtype<String?>(x12)
+    val x11 = joinT(a = a, x = 1)
+    <!INAPPLICABLE_CANDIDATE!>checkSubtype<!><String?>(x11)
+    val x12 = joinT(x = 1, a = a)
+    <!INAPPLICABLE_CANDIDATE!>checkSubtype<!><String?>(x12)
 }

 fun join(x : Int, vararg a : String) : String {
@@ -1,6 +1,6 @@
 // !WITH_NEW_INFERENCE
 // !CHECK_TYPE
-// !LANGUAGE: +ProhibitAssigningSingleElementsToVarargsInNamedForm
+// !LANGUAGE: +ProhibitAssigningSingleElementsToVarargsInNamedForm +AllowAssigningArrayElementsToVarargsInNamedFormForFunctions

 fun <T> array1(vararg a : T) = a

@@ -14,8 +14,8 @@ fun main() {
    join(1, *<!TYPE_MISMATCH!>"2"<!>)
    join(x = 1, a = <!ASSIGNING_SINGLE_ELEMENT_TO_VARARG_IN_NAMED_FORM_FUNCTION_ERROR!>"2"<!>)
    join(x = <!NON_VARARG_SPREAD!>*<!>1, a = *<!TYPE_MISMATCH!>"2"<!>)
-    join(x = 1, a = *a)
-    join(x = 1, a = *<!TYPE_MISMATCH!>b<!>)
+    join(x = 1, a = a)
+    join(x = 1, a = <!TYPE_MISMATCH!>b<!>)
    join(1, *a)
    join(1, *<!TYPE_MISMATCH!>b<!>)
    join(1, *a, "3")
@@ -25,14 +25,14 @@ fun main() {
    join(1, "4", *a)
    join(1, "4", *a, *a, "3")
    join(1, "4", *a, *<!TYPE_MISMATCH!>b<!>, "3")
-    join(a = *a, x = 1)
-    join(a = *<!TYPE_MISMATCH!>b<!>, x = 1)
-    join(a = <!ASSIGNING_SINGLE_ELEMENT_TO_VARARG_IN_NAMED_FORM_FUNCTION_ERROR, TYPE_MISMATCH!>a<!>, x = 1)
+    join(a = a, x = 1)
+    join(a = <!TYPE_MISMATCH!>b<!>, x = 1)
+    join(a = a, x = 1)

    joinG<String>(1, "2")
    joinG<String>(<!NON_VARARG_SPREAD!>*<!>1, "2")
    joinG<String>(1, *<!TYPE_MISMATCH!>"2"<!>)
-    joinG<String>(x = 1, a = *a)
+    joinG<String>(x = 1, a = a)
    joinG<String>(x = 1, a = <!ASSIGNING_SINGLE_ELEMENT_TO_VARARG_IN_NAMED_FORM_FUNCTION_ERROR!>"2"<!>)
    joinG<String>(x = <!NON_VARARG_SPREAD!>*<!>1, a = *<!TYPE_MISMATCH!>"2"<!>)
    joinG<String>(1, *a)
@@ -40,12 +40,12 @@ fun main() {
    joinG<String>(1, "4", *a, "3")
    joinG<String>(1, "4", *a)
    joinG<String>(1, "4", *a, *a, "3")
-    joinG<String>(a = *a, x = 1)
+    joinG<String>(a = a, x = 1)

    joinG(1, "2")
    joinG(<!NON_VARARG_SPREAD!>*<!>1, "2")
    <!OI;TYPE_INFERENCE_PARAMETER_CONSTRAINT_ERROR!>joinG<!>(1, *<!TYPE_MISMATCH!>"2"<!>)
-    joinG(x = 1, a = *a)
+    joinG(x = 1, a = a)
    joinG(x = 1, a = <!ASSIGNING_SINGLE_ELEMENT_TO_VARARG_IN_NAMED_FORM_FUNCTION_ERROR!>"2"<!>)
    <!OI;TYPE_INFERENCE_PARAMETER_CONSTRAINT_ERROR!>joinG<!>(x = <!NON_VARARG_SPREAD!>*<!>1, a = *<!TYPE_MISMATCH!>"2"<!>)
    joinG(1, *a)
@@ -53,7 +53,7 @@ fun main() {
    joinG(1, "4", *a, "3")
    joinG(1, "4", *a)
    joinG(1, "4", *a, *a, "3")
-    joinG(a = *a, x = 1)
+    joinG(a = a, x = 1)

    val x1 = joinT(1, "2")
    checkSubtype<String?>(x1)
@@ -69,9 +69,9 @@ fun main() {
    checkSubtype<String?>(x9)
    val x10 = joinT(1, "4", *a, *a, "3")
    checkSubtype<String?>(x10)
-    val x11 = joinT(a = *a, x = 1)
+    val x11 = joinT(a = a, x = 1)
    checkSubtype<String?>(x11)
-    val x12 = joinT(x = 1, a = *a)
+    val x12 = joinT(x = 1, a = a)
    checkSubtype<String?>(x12)
 }

@@ -1,3 +1,5 @@
+// !LANGUAGE: +BareArrayClassLiteral
+
 val a01 = Array::class
 val a02 = Array<Array>::class
 val a03 = Array<Any?>::class
@@ -1,7 +1,9 @@
-val a01 = <!ARRAY_CLASS_LITERAL_REQUIRES_ARGUMENT!>Array::class<!>
+// !LANGUAGE: +BareArrayClassLiteral
+
+val a01 = Array::class
 val a02 = Array<<!WRONG_NUMBER_OF_TYPE_ARGUMENTS!>Array<!>>::class
 val a03 = Array<Any?>::class
 val a04 = Array<Array<Any?>?>::class
 val a05 = Array<IntArray?>::class
-val a06 = <!ARRAY_CLASS_LITERAL_REQUIRES_ARGUMENT!>kotlin.Array::class<!>
+val a06 = kotlin.Array::class
 val a07 = kotlin.Array<IntArray?>::class
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitTypeParametersInAnonymousObjects
 // !DIAGNOSTICS: -UNUSED_VARIABLE!
 // ISSUE: KT-28999

@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitTypeParametersInAnonymousObjects
 // !DIAGNOSTICS: -UNUSED_VARIABLE!
 // ISSUE: KT-28999

@@ -1,5 +1,5 @@
 // !WITH_NEW_INFERENCE
-// !LANGUAGE: +ArrayLiteralsInAnnotations
+// !LANGUAGE: +ArrayLiteralsInAnnotations +BareArrayClassLiteral

 import kotlin.reflect.KClass

@@ -1,5 +1,5 @@
 // !WITH_NEW_INFERENCE
-// !LANGUAGE: +ArrayLiteralsInAnnotations
+// !LANGUAGE: +ArrayLiteralsInAnnotations +BareArrayClassLiteral

 import kotlin.reflect.KClass

@@ -15,7 +15,7 @@ fun test1() {}
@Foo([Int::class, String::class])
 fun test2() {}

-@Foo([<!ARRAY_CLASS_LITERAL_REQUIRES_ARGUMENT!>Array::class<!>])
+@Foo([Array::class])
 fun test3() {}

@Foo([<!CLASS_LITERAL_LHS_NOT_A_CLASS!>Gen<Int>::class<!>])
@@ -1,3 +1,5 @@
+// !LANGUAGE: +PreferJavaFieldOverload
+
 // FILE: B.java

 public abstract class B implements A {
@@ -1,3 +1,5 @@
+// !LANGUAGE: +PreferJavaFieldOverload
+
 // FILE: B.java

 public abstract class B implements A {
@@ -15,5 +17,5 @@ class C : B() {
 }

 fun foo() {
-    C().<!OVERLOAD_RESOLUTION_AMBIGUITY!>size<!>
+    C().size
 }
@@ -1,3 +1,5 @@
+// !LANGUAGE: -PreferJavaFieldOverload
+
 // SKIP_TXT
 // !CHECK_TYPE

@@ -1,3 +1,5 @@
+// !LANGUAGE: -PreferJavaFieldOverload
+
 // SKIP_TXT
 // !CHECK_TYPE

@@ -1,4 +1,4 @@
-// !LANGUAGE: +NewInference +MixedNamedArgumentsInTheirOwnPosition
+// !LANGUAGE: +NewInference +MixedNamedArgumentsInTheirOwnPosition +AllowAssigningArrayElementsToVarargsInNamedFormForFunctions
 // !DIAGNOSTICS: -UNUSED_PARAMETER
 // SKIP_TXT

@@ -29,16 +29,16 @@ fun foo4(

 fun main() {
    <!INAPPLICABLE_CANDIDATE!>foo1<!>(1, 2, p2 = "3", 4.0)
-    <!INAPPLICABLE_CANDIDATE!>foo1<!>(p1 = *intArrayOf(1, 2), "3", p3 = 4.0)
+    <!INAPPLICABLE_CANDIDATE!>foo1<!>(p1 = intArrayOf(1, 2), "3", p3 = 4.0)

    <!INAPPLICABLE_CANDIDATE!>foo1<!>(p2 = "3", 4.0)

    <!INAPPLICABLE_CANDIDATE!>foo2<!>(p1 = 1, "2", "3", p3 = 4.0)
-    <!INAPPLICABLE_CANDIDATE!>foo2<!>(1, p2 = *arrayOf("2", "3"), 4.0)
+    <!INAPPLICABLE_CANDIDATE!>foo2<!>(1, p2 = arrayOf("2", "3"), 4.0)
    foo2(1, p3 = 3.0)

    <!INAPPLICABLE_CANDIDATE!>foo3<!>(p1 = 1, "2", 3.0, 4.0)
-    <!INAPPLICABLE_CANDIDATE!>foo3<!>(p1 = 1, "2", p3 = *doubleArrayOf(3.0, 4.0))
+    <!INAPPLICABLE_CANDIDATE!>foo3<!>(p1 = 1, "2", p3 = doubleArrayOf(3.0, 4.0))

    <!INAPPLICABLE_CANDIDATE!>foo4<!>(p1 = 1, "2", "3", p3 = 4.0, 5)
    <!INAPPLICABLE_CANDIDATE!>foo4<!>(1, "2", "3", p3 = 4.0, 5)
@@ -50,8 +50,8 @@ fun main() {

    <!INAPPLICABLE_CANDIDATE!>foo2<!>(1, p3 = 2.0, "4")
    <!INAPPLICABLE_CANDIDATE!>foo2<!>(1, p3 = 2.0, *arrayOf("3", "4"))
-    foo2(1, p3 = 2.0, p2 = *arrayOf("3", "4"))
+    <!INAPPLICABLE_CANDIDATE!>foo2<!>(1, p3 = 2.0, p2 = arrayOf("3", "4"))

-    <!INAPPLICABLE_CANDIDATE!>foo3<!>(1, p3 = *doubleArrayOf(2.0, 3.0), "4")
-    foo3(1, p3 = *doubleArrayOf(2.0, 3.0), p2 = "4")
+    <!INAPPLICABLE_CANDIDATE!>foo3<!>(1, p3 = doubleArrayOf(2.0, 3.0), "4")
+    <!INAPPLICABLE_CANDIDATE!>foo3<!>(1, p3 = doubleArrayOf(2.0, 3.0), p2 = "4")
 }
@@ -1,4 +1,4 @@
-// !LANGUAGE: +NewInference +MixedNamedArgumentsInTheirOwnPosition
+// !LANGUAGE: +NewInference +MixedNamedArgumentsInTheirOwnPosition +AllowAssigningArrayElementsToVarargsInNamedFormForFunctions
 // !DIAGNOSTICS: -UNUSED_PARAMETER
 // SKIP_TXT

@@ -29,16 +29,16 @@ fun foo4(

 fun main() {
    foo1(1, 2, p2 = "3", <!MIXING_NAMED_AND_POSITIONED_ARGUMENTS!>4.0<!><!NO_VALUE_FOR_PARAMETER!>)<!>
-    foo1(p1 = *intArrayOf(1, 2), "3", p3 = 4.0)
+    foo1(p1 = intArrayOf(1, 2), "3", p3 = 4.0)

    foo1(p2 = "3", <!MIXING_NAMED_AND_POSITIONED_ARGUMENTS!>4.0<!><!NO_VALUE_FOR_PARAMETER!>)<!>

    foo2(p1 = 1, "2", "3", p3 = 4.0)
-    foo2(1, p2 = *arrayOf("2", "3"), 4.0)
+    foo2(1, p2 = arrayOf("2", "3"), 4.0)
    foo2(1, p3 = 3.0)

    foo3(p1 = 1, "2", 3.0, 4.0)
-    foo3(p1 = 1, "2", p3 = *doubleArrayOf(3.0, 4.0))
+    foo3(p1 = 1, "2", p3 = doubleArrayOf(3.0, 4.0))

    foo4(p1 = 1, "2", "3", p3 = 4.0, <!MIXING_NAMED_AND_POSITIONED_ARGUMENTS!>5<!><!NO_VALUE_FOR_PARAMETER!>)<!>
    foo4(1, "2", "3", p3 = 4.0, <!MIXING_NAMED_AND_POSITIONED_ARGUMENTS!>5<!><!NO_VALUE_FOR_PARAMETER!>)<!>
@@ -50,8 +50,8 @@ fun main() {

    foo2(1, p3 = 2.0, <!MIXING_NAMED_AND_POSITIONED_ARGUMENTS!>"4"<!>)
    foo2(1, p3 = 2.0, <!MIXING_NAMED_AND_POSITIONED_ARGUMENTS!>*arrayOf("3", "4")<!>)
-    foo2(1, p3 = 2.0, p2 = *arrayOf("3", "4"))
+    foo2(1, p3 = 2.0, p2 = arrayOf("3", "4"))

-    foo3(1, p3 = *doubleArrayOf(2.0, 3.0), <!MIXING_NAMED_AND_POSITIONED_ARGUMENTS!>"4"<!><!NO_VALUE_FOR_PARAMETER!>)<!>
-    foo3(1, p3 = *doubleArrayOf(2.0, 3.0), p2 = "4")
+    foo3(1, p3 = doubleArrayOf(2.0, 3.0), <!MIXING_NAMED_AND_POSITIONED_ARGUMENTS!>"4"<!><!NO_VALUE_FOR_PARAMETER!>)<!>
+    foo3(1, p3 = doubleArrayOf(2.0, 3.0), p2 = "4")
 }
@@ -1,5 +1,5 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE
-// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions +SamConversionPerArgument
+// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions +SamConversionPerArgument -ProhibitVarargAsArrayAfterSamArgument
 // IGNORE_BACKEND: JS
 // SKIP_TXT

@@ -1,5 +1,5 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE
-// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions +SamConversionPerArgument
+// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions +SamConversionPerArgument -ProhibitVarargAsArrayAfterSamArgument
 // IGNORE_BACKEND: JS
 // SKIP_TXT

@@ -1,5 +1,5 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE
-// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions
+// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions -ProhibitVarargAsArrayAfterSamArgument
 // IGNORE_BACKEND: JS, JS_IR
 // SKIP_TXT

@@ -1,5 +1,5 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE
-// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions
+// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions -ProhibitVarargAsArrayAfterSamArgument
 // IGNORE_BACKEND: JS, JS_IR
 // SKIP_TXT

@@ -1,4 +1,4 @@
-// !LANGUAGE: +AssigningArraysToVarargsInNamedFormInAnnotations, +ProhibitAssigningSingleElementsToVarargsInNamedForm
+// !LANGUAGE: +AssigningArraysToVarargsInNamedFormInAnnotations, +ProhibitAssigningSingleElementsToVarargsInNamedForm -AllowAssigningArrayElementsToVarargsInNamedFormForFunctions
 // !DIAGNOSTICS: -UNUSED_PARAMETER, -UNUSED_VARIABLE
 // !WITH_NEW_INFERENCE

@@ -1,4 +1,4 @@
-// !LANGUAGE: +AssigningArraysToVarargsInNamedFormInAnnotations, +ProhibitAssigningSingleElementsToVarargsInNamedForm
+// !LANGUAGE: +AssigningArraysToVarargsInNamedFormInAnnotations, +ProhibitAssigningSingleElementsToVarargsInNamedForm -AllowAssigningArrayElementsToVarargsInNamedFormForFunctions
 // !DIAGNOSTICS: -UNUSED_PARAMETER, -UNUSED_VARIABLE
 // !WITH_NEW_INFERENCE

@@ -1,4 +1,4 @@
-// !LANGUAGE: +AssigningArraysToVarargsInNamedFormInAnnotations, -ProhibitAssigningSingleElementsToVarargsInNamedForm
+// !LANGUAGE: +AssigningArraysToVarargsInNamedFormInAnnotations, -ProhibitAssigningSingleElementsToVarargsInNamedForm -AllowAssigningArrayElementsToVarargsInNamedFormForFunctions
 // !DIAGNOSTICS: -UNUSED_PARAMETER, -UNUSED_VARIABLE
 // !WITH_NEW_INFERENCE

@@ -1,4 +1,4 @@
-// !LANGUAGE: +AssigningArraysToVarargsInNamedFormInAnnotations, -ProhibitAssigningSingleElementsToVarargsInNamedForm
+// !LANGUAGE: +AssigningArraysToVarargsInNamedFormInAnnotations, -ProhibitAssigningSingleElementsToVarargsInNamedForm -AllowAssigningArrayElementsToVarargsInNamedFormForFunctions
 // !DIAGNOSTICS: -UNUSED_PARAMETER, -UNUSED_VARIABLE
 // !WITH_NEW_INFERENCE

@@ -1,5 +1,5 @@
 // !WITH_NEW_INFERENCE
-// !LANGUAGE: +ArrayLiteralsInAnnotations, -AssigningArraysToVarargsInNamedFormInAnnotations
+// !LANGUAGE: +ArrayLiteralsInAnnotations, -AssigningArraysToVarargsInNamedFormInAnnotations -AllowAssigningArrayElementsToVarargsInNamedFormForFunctions

 // FILE: JavaAnn.java

@@ -1,5 +1,5 @@
 // !WITH_NEW_INFERENCE
-// !LANGUAGE: +ArrayLiteralsInAnnotations, -AssigningArraysToVarargsInNamedFormInAnnotations
+// !LANGUAGE: +ArrayLiteralsInAnnotations, -AssigningArraysToVarargsInNamedFormInAnnotations -AllowAssigningArrayElementsToVarargsInNamedFormForFunctions

 // FILE: JavaAnn.java

@@ -1,4 +1,4 @@
-// !LANGUAGE: +ProhibitAssigningSingleElementsToVarargsInNamedForm
+// !LANGUAGE: +ProhibitAssigningSingleElementsToVarargsInNamedForm +AllowAssigningArrayElementsToVarargsInNamedFormForFunctions
 // !DIAGNOSTICS: -UNUSED_PARAMETER

 annotation class Anno1(vararg val s: String)
@@ -1,4 +1,4 @@
-// !LANGUAGE: +ProhibitAssigningSingleElementsToVarargsInNamedForm
+// !LANGUAGE: +ProhibitAssigningSingleElementsToVarargsInNamedForm +AllowAssigningArrayElementsToVarargsInNamedFormForFunctions
 // !DIAGNOSTICS: -UNUSED_PARAMETER

 annotation class Anno1(vararg val s: String)
@@ -16,5 +16,5 @@ fun foo(vararg ints: Int) {}

 fun test() {
    foo(ints = <!ASSIGNING_SINGLE_ELEMENT_TO_VARARG_IN_NAMED_FORM_FUNCTION_ERROR!>1<!>)
-    foo(ints = *intArrayOf(1))
+    foo(ints = *<!REDUNDANT_SPREAD_OPERATOR_IN_NAMED_FORM_IN_FUNCTION!>intArrayOf(1)<!>)
 }
@@ -1,3 +1,5 @@
+// !LANGUAGE: +WarningOnMainUnusedParameter
+
 // FILE: a.kt
 fun main(args: Array<String>) {}

@@ -1,8 +1,10 @@
+// !LANGUAGE: +WarningOnMainUnusedParameter
+
 // FILE: a.kt
-fun main(args: Array<String>) {}
+fun main(<!UNUSED_PARAMETER!>args<!>: Array<String>) {}

 // FILE: b.kt
-fun main(args: Array<String>) {}
+fun main(<!UNUSED_PARAMETER!>args<!>: Array<String>) {}

 // FILE: c.kt
 fun foo() { <!OVERLOAD_RESOLUTION_AMBIGUITY!>main<!>(arrayOf("a", "b")) }
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitConcurrentHashMapContains
 // !WITH_NEW_INFERENCE
 // FULL_JDK

@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitConcurrentHashMapContains
 // !WITH_NEW_INFERENCE
 // FULL_JDK