diff --git a/compiler/testData/diagnostics/tests/annotations/AnnotationsForPropertyTypeParameter.fir.kt b/compiler/testData/diagnostics/tests/annotations/AnnotationsForPropertyTypeParameter.fir.kt
index f5f40eedd69..14a421e8204 100644
--- a/compiler/testData/diagnostics/tests/annotations/AnnotationsForPropertyTypeParameter.fir.kt
+++ b/compiler/testData/diagnostics/tests/annotations/AnnotationsForPropertyTypeParameter.fir.kt
@@ -1,3 +1,5 @@
+// !LANGUAGE: +ProhibitTypeParametersForLocalVariables
+
 annotation class A1
 annotation class A2(val some: Int = 12)
 
diff --git a/compiler/testData/diagnostics/tests/annotations/AnnotationsForPropertyTypeParameter.kt b/compiler/testData/diagnostics/tests/annotations/AnnotationsForPropertyTypeParameter.kt
index 7b2c24f841e..cc25f54c2d0 100644
--- a/compiler/testData/diagnostics/tests/annotations/AnnotationsForPropertyTypeParameter.kt
+++ b/compiler/testData/diagnostics/tests/annotations/AnnotationsForPropertyTypeParameter.kt
@@ -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
     }
 }
\ No newline at end of file
diff --git a/compiler/testData/diagnostics/tests/annotations/functionalTypes/nonParenthesizedAnnotationsWithError.fir.kt b/compiler/testData/diagnostics/tests/annotations/functionalTypes/nonParenthesizedAnnotationsWithError.fir.kt
index 9936973da17..7927193f2f1 100644
--- a/compiler/testData/diagnostics/tests/annotations/functionalTypes/nonParenthesizedAnnotationsWithError.fir.kt
+++ b/compiler/testData/diagnostics/tests/annotations/functionalTypes/nonParenthesizedAnnotationsWithError.fir.kt
@@ -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
diff --git a/compiler/testData/diagnostics/tests/annotations/functionalTypes/nonParenthesizedAnnotationsWithError.kt b/compiler/testData/diagnostics/tests/annotations/functionalTypes/nonParenthesizedAnnotationsWithError.kt
index 539998c8d3e..50965b8bf06 100644
--- a/compiler/testData/diagnostics/tests/annotations/functionalTypes/nonParenthesizedAnnotationsWithError.kt
+++ b/compiler/testData/diagnostics/tests/annotations/functionalTypes/nonParenthesizedAnnotationsWithError.kt
@@ -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
diff --git a/compiler/testData/diagnostics/tests/checkArguments/SpreadVarargs.fir.kt b/compiler/testData/diagnostics/tests/checkArguments/SpreadVarargs.fir.kt
index 10d2c17af24..6890c03ca24 100644
--- a/compiler/testData/diagnostics/tests/checkArguments/SpreadVarargs.fir.kt
+++ b/compiler/testData/diagnostics/tests/checkArguments/SpreadVarargs.fir.kt
@@ -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 {
diff --git a/compiler/testData/diagnostics/tests/checkArguments/SpreadVarargs.kt b/compiler/testData/diagnostics/tests/checkArguments/SpreadVarargs.kt
index 81a0968b2ac..6e7dcd89023 100644
--- a/compiler/testData/diagnostics/tests/checkArguments/SpreadVarargs.kt
+++ b/compiler/testData/diagnostics/tests/checkArguments/SpreadVarargs.kt
@@ -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)
 }
 
diff --git a/compiler/testData/diagnostics/tests/classLiteral/arrays.fir.kt b/compiler/testData/diagnostics/tests/classLiteral/arrays.fir.kt
index aaba90a3711..8b87530bb2a 100644
--- a/compiler/testData/diagnostics/tests/classLiteral/arrays.fir.kt
+++ b/compiler/testData/diagnostics/tests/classLiteral/arrays.fir.kt
@@ -1,3 +1,5 @@
+// !LANGUAGE: +BareArrayClassLiteral
+
 val a01 = Array::class
 val a02 = Array<Array>::class
 val a03 = Array<Any?>::class
diff --git a/compiler/testData/diagnostics/tests/classLiteral/arrays.kt b/compiler/testData/diagnostics/tests/classLiteral/arrays.kt
index fd965ff4f25..64cdf231d0d 100644
--- a/compiler/testData/diagnostics/tests/classLiteral/arrays.kt
+++ b/compiler/testData/diagnostics/tests/classLiteral/arrays.kt
@@ -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
diff --git a/compiler/testData/diagnostics/tests/classObjects/typeParametersInAnnonymousObject.fir.kt b/compiler/testData/diagnostics/tests/classObjects/typeParametersInAnnonymousObject.fir.kt
index 397d1642c30..48fd14b7bea 100644
--- a/compiler/testData/diagnostics/tests/classObjects/typeParametersInAnnonymousObject.fir.kt
+++ b/compiler/testData/diagnostics/tests/classObjects/typeParametersInAnnonymousObject.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitTypeParametersInAnonymousObjects
 // !DIAGNOSTICS: -UNUSED_VARIABLE!
 // ISSUE: KT-28999
 
diff --git a/compiler/testData/diagnostics/tests/classObjects/typeParametersInAnnonymousObject.kt b/compiler/testData/diagnostics/tests/classObjects/typeParametersInAnnonymousObject.kt
index b72518722bf..6ffa6c57dca 100644
--- a/compiler/testData/diagnostics/tests/classObjects/typeParametersInAnnonymousObject.kt
+++ b/compiler/testData/diagnostics/tests/classObjects/typeParametersInAnnonymousObject.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitTypeParametersInAnonymousObjects
 // !DIAGNOSTICS: -UNUSED_VARIABLE!
 // ISSUE: KT-28999
 
diff --git a/compiler/testData/diagnostics/tests/collectionLiterals/argumentsOfAnnotationWithKClass.fir.kt b/compiler/testData/diagnostics/tests/collectionLiterals/argumentsOfAnnotationWithKClass.fir.kt
index ff7c6d53274..7257757a18f 100644
--- a/compiler/testData/diagnostics/tests/collectionLiterals/argumentsOfAnnotationWithKClass.fir.kt
+++ b/compiler/testData/diagnostics/tests/collectionLiterals/argumentsOfAnnotationWithKClass.fir.kt
@@ -1,5 +1,5 @@
 // !WITH_NEW_INFERENCE
-// !LANGUAGE: +ArrayLiteralsInAnnotations
+// !LANGUAGE: +ArrayLiteralsInAnnotations +BareArrayClassLiteral
 
 import kotlin.reflect.KClass
 
diff --git a/compiler/testData/diagnostics/tests/collectionLiterals/argumentsOfAnnotationWithKClass.kt b/compiler/testData/diagnostics/tests/collectionLiterals/argumentsOfAnnotationWithKClass.kt
index f93f45e4615..ff88bc0a4ab 100644
--- a/compiler/testData/diagnostics/tests/collectionLiterals/argumentsOfAnnotationWithKClass.kt
+++ b/compiler/testData/diagnostics/tests/collectionLiterals/argumentsOfAnnotationWithKClass.kt
@@ -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<!>])
diff --git a/compiler/testData/diagnostics/tests/j+k/fieldOverridesNothing.fir.kt b/compiler/testData/diagnostics/tests/j+k/fieldOverridesNothing.fir.kt
index b5fc8ab03da..406300c578a 100644
--- a/compiler/testData/diagnostics/tests/j+k/fieldOverridesNothing.fir.kt
+++ b/compiler/testData/diagnostics/tests/j+k/fieldOverridesNothing.fir.kt
@@ -1,3 +1,5 @@
+// !LANGUAGE: +PreferJavaFieldOverload
+
 // FILE: B.java
 
 public abstract class B implements A {
diff --git a/compiler/testData/diagnostics/tests/j+k/fieldOverridesNothing.kt b/compiler/testData/diagnostics/tests/j+k/fieldOverridesNothing.kt
index cd7dfa6e184..388391607f5 100644
--- a/compiler/testData/diagnostics/tests/j+k/fieldOverridesNothing.kt
+++ b/compiler/testData/diagnostics/tests/j+k/fieldOverridesNothing.kt
@@ -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
 }
\ No newline at end of file
diff --git a/compiler/testData/diagnostics/tests/j+k/properties/fieldPropertyOverloadsDisabled.fir.kt b/compiler/testData/diagnostics/tests/j+k/properties/fieldPropertyOverloadsDisabled.fir.kt
index a7437470320..983d868b288 100644
--- a/compiler/testData/diagnostics/tests/j+k/properties/fieldPropertyOverloadsDisabled.fir.kt
+++ b/compiler/testData/diagnostics/tests/j+k/properties/fieldPropertyOverloadsDisabled.fir.kt
@@ -1,3 +1,5 @@
+// !LANGUAGE: -PreferJavaFieldOverload
+
 // SKIP_TXT
 // !CHECK_TYPE
 
diff --git a/compiler/testData/diagnostics/tests/j+k/properties/fieldPropertyOverloadsDisabled.kt b/compiler/testData/diagnostics/tests/j+k/properties/fieldPropertyOverloadsDisabled.kt
index 824367debaa..fe6cf5066ec 100644
--- a/compiler/testData/diagnostics/tests/j+k/properties/fieldPropertyOverloadsDisabled.kt
+++ b/compiler/testData/diagnostics/tests/j+k/properties/fieldPropertyOverloadsDisabled.kt
@@ -1,3 +1,5 @@
+// !LANGUAGE: -PreferJavaFieldOverload
+
 // SKIP_TXT
 // !CHECK_TYPE
 
diff --git a/compiler/testData/diagnostics/tests/namedArguments/mixedNamedPosition/varargs.fir.kt b/compiler/testData/diagnostics/tests/namedArguments/mixedNamedPosition/varargs.fir.kt
index 068fd00c589..2cd69ee3731 100644
--- a/compiler/testData/diagnostics/tests/namedArguments/mixedNamedPosition/varargs.fir.kt
+++ b/compiler/testData/diagnostics/tests/namedArguments/mixedNamedPosition/varargs.fir.kt
@@ -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")
 }
diff --git a/compiler/testData/diagnostics/tests/namedArguments/mixedNamedPosition/varargs.kt b/compiler/testData/diagnostics/tests/namedArguments/mixedNamedPosition/varargs.kt
index 801f1e1eae3..8e171bdd5c0 100644
--- a/compiler/testData/diagnostics/tests/namedArguments/mixedNamedPosition/varargs.kt
+++ b/compiler/testData/diagnostics/tests/namedArguments/mixedNamedPosition/varargs.kt
@@ -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")
 }
diff --git a/compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgument.fir.kt b/compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgument.fir.kt
index 396f55a397e..1840c3a698e 100644
--- a/compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgument.fir.kt
+++ b/compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgument.fir.kt
@@ -1,5 +1,5 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE
-// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions +SamConversionPerArgument
+// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions +SamConversionPerArgument -ProhibitVarargAsArrayAfterSamArgument
 // IGNORE_BACKEND: JS
 // SKIP_TXT
 
diff --git a/compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgument.kt b/compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgument.kt
index b7a2879aead..27064b74806 100644
--- a/compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgument.kt
+++ b/compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgument.kt
@@ -1,5 +1,5 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE
-// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions +SamConversionPerArgument
+// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions +SamConversionPerArgument -ProhibitVarargAsArrayAfterSamArgument
 // IGNORE_BACKEND: JS
 // SKIP_TXT
 
diff --git a/compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgumentWithoutSamConversionsPerArgument.fir.kt b/compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgumentWithoutSamConversionsPerArgument.fir.kt
index 1da64d52855..58d1db59595 100644
--- a/compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgumentWithoutSamConversionsPerArgument.fir.kt
+++ b/compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgumentWithoutSamConversionsPerArgument.fir.kt
@@ -1,5 +1,5 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE
-// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions
+// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions -ProhibitVarargAsArrayAfterSamArgument
 // IGNORE_BACKEND: JS, JS_IR
 // SKIP_TXT
 
diff --git a/compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgumentWithoutSamConversionsPerArgument.kt b/compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgumentWithoutSamConversionsPerArgument.kt
index 0ead6fbf625..30ffee451bc 100644
--- a/compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgumentWithoutSamConversionsPerArgument.kt
+++ b/compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgumentWithoutSamConversionsPerArgument.kt
@@ -1,5 +1,5 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE
-// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions
+// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions -ProhibitVarargAsArrayAfterSamArgument
 // IGNORE_BACKEND: JS, JS_IR
 // SKIP_TXT
 
diff --git a/compiler/testData/diagnostics/tests/varargs/assigningSingleElementsInNamedFormFunDeprecation_after.fir.kt b/compiler/testData/diagnostics/tests/varargs/assigningSingleElementsInNamedFormFunDeprecation_after.fir.kt
index d81b18def58..d3ec06df05f 100644
--- a/compiler/testData/diagnostics/tests/varargs/assigningSingleElementsInNamedFormFunDeprecation_after.fir.kt
+++ b/compiler/testData/diagnostics/tests/varargs/assigningSingleElementsInNamedFormFunDeprecation_after.fir.kt
@@ -1,4 +1,4 @@
-// !LANGUAGE: +AssigningArraysToVarargsInNamedFormInAnnotations, +ProhibitAssigningSingleElementsToVarargsInNamedForm
+// !LANGUAGE: +AssigningArraysToVarargsInNamedFormInAnnotations, +ProhibitAssigningSingleElementsToVarargsInNamedForm -AllowAssigningArrayElementsToVarargsInNamedFormForFunctions
 // !DIAGNOSTICS: -UNUSED_PARAMETER, -UNUSED_VARIABLE
 // !WITH_NEW_INFERENCE
 
diff --git a/compiler/testData/diagnostics/tests/varargs/assigningSingleElementsInNamedFormFunDeprecation_after.kt b/compiler/testData/diagnostics/tests/varargs/assigningSingleElementsInNamedFormFunDeprecation_after.kt
index ec508182b04..f6edfe187fe 100644
--- a/compiler/testData/diagnostics/tests/varargs/assigningSingleElementsInNamedFormFunDeprecation_after.kt
+++ b/compiler/testData/diagnostics/tests/varargs/assigningSingleElementsInNamedFormFunDeprecation_after.kt
@@ -1,4 +1,4 @@
-// !LANGUAGE: +AssigningArraysToVarargsInNamedFormInAnnotations, +ProhibitAssigningSingleElementsToVarargsInNamedForm
+// !LANGUAGE: +AssigningArraysToVarargsInNamedFormInAnnotations, +ProhibitAssigningSingleElementsToVarargsInNamedForm -AllowAssigningArrayElementsToVarargsInNamedFormForFunctions
 // !DIAGNOSTICS: -UNUSED_PARAMETER, -UNUSED_VARIABLE
 // !WITH_NEW_INFERENCE
 
diff --git a/compiler/testData/diagnostics/tests/varargs/assigningSingleElementsInNamedFormFunDeprecation_before.fir.kt b/compiler/testData/diagnostics/tests/varargs/assigningSingleElementsInNamedFormFunDeprecation_before.fir.kt
index 0ece7246cc7..1111b59ba73 100644
--- a/compiler/testData/diagnostics/tests/varargs/assigningSingleElementsInNamedFormFunDeprecation_before.fir.kt
+++ b/compiler/testData/diagnostics/tests/varargs/assigningSingleElementsInNamedFormFunDeprecation_before.fir.kt
@@ -1,4 +1,4 @@
-// !LANGUAGE: +AssigningArraysToVarargsInNamedFormInAnnotations, -ProhibitAssigningSingleElementsToVarargsInNamedForm
+// !LANGUAGE: +AssigningArraysToVarargsInNamedFormInAnnotations, -ProhibitAssigningSingleElementsToVarargsInNamedForm -AllowAssigningArrayElementsToVarargsInNamedFormForFunctions
 // !DIAGNOSTICS: -UNUSED_PARAMETER, -UNUSED_VARIABLE
 // !WITH_NEW_INFERENCE
 
diff --git a/compiler/testData/diagnostics/tests/varargs/assigningSingleElementsInNamedFormFunDeprecation_before.kt b/compiler/testData/diagnostics/tests/varargs/assigningSingleElementsInNamedFormFunDeprecation_before.kt
index 7c06def21f5..279279f695e 100644
--- a/compiler/testData/diagnostics/tests/varargs/assigningSingleElementsInNamedFormFunDeprecation_before.kt
+++ b/compiler/testData/diagnostics/tests/varargs/assigningSingleElementsInNamedFormFunDeprecation_before.kt
@@ -1,4 +1,4 @@
-// !LANGUAGE: +AssigningArraysToVarargsInNamedFormInAnnotations, -ProhibitAssigningSingleElementsToVarargsInNamedForm
+// !LANGUAGE: +AssigningArraysToVarargsInNamedFormInAnnotations, -ProhibitAssigningSingleElementsToVarargsInNamedForm -AllowAssigningArrayElementsToVarargsInNamedFormForFunctions
 // !DIAGNOSTICS: -UNUSED_PARAMETER, -UNUSED_VARIABLE
 // !WITH_NEW_INFERENCE
 
diff --git a/compiler/testData/diagnostics/tests/varargs/noAssigningArraysToVarargsFeature.fir.kt b/compiler/testData/diagnostics/tests/varargs/noAssigningArraysToVarargsFeature.fir.kt
index 966f4dde6ec..a3827f727a8 100644
--- a/compiler/testData/diagnostics/tests/varargs/noAssigningArraysToVarargsFeature.fir.kt
+++ b/compiler/testData/diagnostics/tests/varargs/noAssigningArraysToVarargsFeature.fir.kt
@@ -1,5 +1,5 @@
 // !WITH_NEW_INFERENCE
-// !LANGUAGE: +ArrayLiteralsInAnnotations, -AssigningArraysToVarargsInNamedFormInAnnotations
+// !LANGUAGE: +ArrayLiteralsInAnnotations, -AssigningArraysToVarargsInNamedFormInAnnotations -AllowAssigningArrayElementsToVarargsInNamedFormForFunctions
 
 // FILE: JavaAnn.java
 
diff --git a/compiler/testData/diagnostics/tests/varargs/noAssigningArraysToVarargsFeature.kt b/compiler/testData/diagnostics/tests/varargs/noAssigningArraysToVarargsFeature.kt
index fdf985cc372..203747e07d8 100644
--- a/compiler/testData/diagnostics/tests/varargs/noAssigningArraysToVarargsFeature.kt
+++ b/compiler/testData/diagnostics/tests/varargs/noAssigningArraysToVarargsFeature.kt
@@ -1,5 +1,5 @@
 // !WITH_NEW_INFERENCE
-// !LANGUAGE: +ArrayLiteralsInAnnotations, -AssigningArraysToVarargsInNamedFormInAnnotations
+// !LANGUAGE: +ArrayLiteralsInAnnotations, -AssigningArraysToVarargsInNamedFormInAnnotations -AllowAssigningArrayElementsToVarargsInNamedFormForFunctions
 
 // FILE: JavaAnn.java
 
diff --git a/compiler/testData/diagnostics/tests/varargs/prohibitAssigningSingleElementsInNamedForm.fir.kt b/compiler/testData/diagnostics/tests/varargs/prohibitAssigningSingleElementsInNamedForm.fir.kt
index d186912901c..7a8a4abb089 100644
--- a/compiler/testData/diagnostics/tests/varargs/prohibitAssigningSingleElementsInNamedForm.fir.kt
+++ b/compiler/testData/diagnostics/tests/varargs/prohibitAssigningSingleElementsInNamedForm.fir.kt
@@ -1,4 +1,4 @@
-// !LANGUAGE: +ProhibitAssigningSingleElementsToVarargsInNamedForm
+// !LANGUAGE: +ProhibitAssigningSingleElementsToVarargsInNamedForm +AllowAssigningArrayElementsToVarargsInNamedFormForFunctions
 // !DIAGNOSTICS: -UNUSED_PARAMETER
 
 annotation class Anno1(vararg val s: String)
diff --git a/compiler/testData/diagnostics/tests/varargs/prohibitAssigningSingleElementsInNamedForm.kt b/compiler/testData/diagnostics/tests/varargs/prohibitAssigningSingleElementsInNamedForm.kt
index 1ba82ea55bd..cb272bb8344 100644
--- a/compiler/testData/diagnostics/tests/varargs/prohibitAssigningSingleElementsInNamedForm.kt
+++ b/compiler/testData/diagnostics/tests/varargs/prohibitAssigningSingleElementsInNamedForm.kt
@@ -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)<!>)
 }
diff --git a/compiler/testData/diagnostics/testsWithStdLib/CallToMainRedeclaredInMultiFile.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/CallToMainRedeclaredInMultiFile.fir.kt
index 93682b82053..fa42313fa06 100644
--- a/compiler/testData/diagnostics/testsWithStdLib/CallToMainRedeclaredInMultiFile.fir.kt
+++ b/compiler/testData/diagnostics/testsWithStdLib/CallToMainRedeclaredInMultiFile.fir.kt
@@ -1,3 +1,5 @@
+// !LANGUAGE: +WarningOnMainUnusedParameter
+
 // FILE: a.kt
 fun main(args: Array<String>) {}
 
diff --git a/compiler/testData/diagnostics/testsWithStdLib/CallToMainRedeclaredInMultiFile.kt b/compiler/testData/diagnostics/testsWithStdLib/CallToMainRedeclaredInMultiFile.kt
index 35289768bc3..80f6f12ac34 100644
--- a/compiler/testData/diagnostics/testsWithStdLib/CallToMainRedeclaredInMultiFile.kt
+++ b/compiler/testData/diagnostics/testsWithStdLib/CallToMainRedeclaredInMultiFile.kt
@@ -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")) }
\ No newline at end of file
diff --git a/compiler/testData/diagnostics/testsWithStdLib/java/concurrentHashMapContains.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/java/concurrentHashMapContains.fir.kt
index ec611b6920f..ae499909ac8 100644
--- a/compiler/testData/diagnostics/testsWithStdLib/java/concurrentHashMapContains.fir.kt
+++ b/compiler/testData/diagnostics/testsWithStdLib/java/concurrentHashMapContains.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitConcurrentHashMapContains
 // !WITH_NEW_INFERENCE
 // FULL_JDK
 
diff --git a/compiler/testData/diagnostics/testsWithStdLib/java/concurrentHashMapContains.kt b/compiler/testData/diagnostics/testsWithStdLib/java/concurrentHashMapContains.kt
index f674d777f27..be3068d59f5 100644
--- a/compiler/testData/diagnostics/testsWithStdLib/java/concurrentHashMapContains.kt
+++ b/compiler/testData/diagnostics/testsWithStdLib/java/concurrentHashMapContains.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitConcurrentHashMapContains
 // !WITH_NEW_INFERENCE
 // FULL_JDK