diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/andAnd.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/andAnd.kt
index 9f4fcff8ff0..e42696be4ee 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/andAnd.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/andAnd.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitSimplificationOfNonTrivialConstBooleanExpressions
 // FIR_IDENTICAL
 package test
 
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/boolean.fir.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/boolean.fir.kt
index ac0af61b932..8bb195a5282 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/boolean.fir.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/boolean.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitSimplificationOfNonTrivialConstBooleanExpressions
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/boolean.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/boolean.kt
index 87f8522bdfe..d279dd536c5 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/boolean.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/boolean.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitSimplificationOfNonTrivialConstBooleanExpressions
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/divide.fir.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/divide.fir.kt
index 9273659bb9f..3a1e06b8b5c 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/divide.fir.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/divide.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/divide.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/divide.kt
index c15b7a1a0bd..844ea90b6d3 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/divide.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/divide.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/eqeq.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/eqeq.kt
index f33456ce2ba..98eb3efe060 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/eqeq.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/eqeq.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitSimplificationOfNonTrivialConstBooleanExpressions
 // FIR_IDENTICAL
 package test
 
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/gt.fir.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/gt.fir.kt
index e833d722235..56ed1d5ef6e 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/gt.fir.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/gt.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitSimplificationOfNonTrivialConstBooleanExpressions
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/gt.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/gt.kt
index 2dbab33016e..27b9e35c55a 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/gt.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/gt.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitSimplificationOfNonTrivialConstBooleanExpressions
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/gteq.fir.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/gteq.fir.kt
index ff04edc4b30..e0523f105c9 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/gteq.fir.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/gteq.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitSimplificationOfNonTrivialConstBooleanExpressions
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/gteq.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/gteq.kt
index 45b77f4d580..23be2365d8c 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/gteq.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/gteq.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitSimplificationOfNonTrivialConstBooleanExpressions
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/intrincics.fir.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/intrincics.fir.kt
index a330568bccf..68a82554c99 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/intrincics.fir.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/intrincics.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 package test
 
 annotation class Ann(<!MISSING_VAL_ON_ANNOTATION_PARAMETER!>p1: Int<!>,
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/intrincics.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/intrincics.kt
index 421f45ad246..c036d1b8f7e 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/intrincics.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/intrincics.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 package test
 
 annotation class Ann(<!MISSING_VAL_ON_ANNOTATION_PARAMETER!>p1: Int<!>,
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/long.fir.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/long.fir.kt
index 69c03d7d690..c2c992e967c 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/long.fir.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/long.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/long.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/long.kt
index 22a23c9f64e..644f42d2550 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/long.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/long.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/lt.fir.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/lt.fir.kt
index 912ee99c65c..6b26733c45a 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/lt.fir.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/lt.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitSimplificationOfNonTrivialConstBooleanExpressions
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/lt.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/lt.kt
index 51277eb9f4a..e260e7aa6e8 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/lt.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/lt.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitSimplificationOfNonTrivialConstBooleanExpressions
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/lteq.fir.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/lteq.fir.kt
index 597215eb4fa..66e9dbda758 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/lteq.fir.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/lteq.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitSimplificationOfNonTrivialConstBooleanExpressions
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/lteq.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/lteq.kt
index a05372b7d0c..0ac04c06749 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/lteq.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/lteq.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitSimplificationOfNonTrivialConstBooleanExpressions
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/maxValueByte.fir.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/maxValueByte.fir.kt
index 5bffb467f24..818194630a5 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/maxValueByte.fir.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/maxValueByte.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/maxValueByte.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/maxValueByte.kt
index 82c4055767d..8146d177798 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/maxValueByte.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/maxValueByte.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/miltiply.fir.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/miltiply.fir.kt
index 5caa2e2fc5f..600553cac3b 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/miltiply.fir.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/miltiply.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/miltiply.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/miltiply.kt
index 8a6659a1e71..9e041002ad2 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/miltiply.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/miltiply.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/minus.fir.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/minus.fir.kt
index 508da83b31d..00f371da955 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/minus.fir.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/minus.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/minus.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/minus.kt
index 2b3f6bd5bdd..f62f29a31cf 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/minus.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/minus.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/mod.fir.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/mod.fir.kt
index 011ccf678fd..6602b9fab99 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/mod.fir.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/mod.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/mod.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/mod.kt
index b01fcaef129..89b5ff94f01 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/mod.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/mod.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/not.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/not.kt
index a4ca8d6abde..2f69c8cf743 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/not.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/not.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitSimplificationOfNonTrivialConstBooleanExpressions
 // FIR_IDENTICAL
 package test
 
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/noteq.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/noteq.kt
index 8e30d071c27..6d2a7c28172 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/noteq.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/noteq.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitSimplificationOfNonTrivialConstBooleanExpressions
 // FIR_IDENTICAL
 package test
 
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/orOr.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/orOr.kt
index ee84786c9c2..e93ac0a4920 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/orOr.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/orOr.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProhibitSimplificationOfNonTrivialConstBooleanExpressions
 // FIR_IDENTICAL
 package test
 
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/plus.fir.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/plus.fir.kt
index 10631a91129..87bb31f752c 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/plus.fir.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/plus.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/plus.kt b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/plus.kt
index 3c641b25105..7959b8a8b6f 100644
--- a/compiler/testData/diagnostics/tests/annotations/parameters/expressions/plus.kt
+++ b/compiler/testData/diagnostics/tests/annotations/parameters/expressions/plus.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 package test
 
 annotation class Ann(
diff --git a/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992.fir.kt b/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992.fir.kt
index 4110a6c4112..a5d04d1a454 100644
--- a/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992.fir.kt
+++ b/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992.fir.kt
@@ -2,8 +2,9 @@
 
 interface Foo
 
+@Target(AnnotationTarget.TYPE)
 annotation class Ann
 
 class E : <!ANNOTATION_ON_SUPERCLASS!>@field:Ann<!> <!ANNOTATION_ON_SUPERCLASS!>@get:Ann<!> <!ANNOTATION_ON_SUPERCLASS!>@set:Ann<!> <!ANNOTATION_ON_SUPERCLASS!>@setparam:Ann<!> Foo
 
-interface G : <!WRONG_ANNOTATION_TARGET!>@Ann<!> Foo
+interface G : @Ann Foo
diff --git a/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992.kt b/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992.kt
index b14cc4a6a2a..950df44a179 100644
--- a/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992.kt
+++ b/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992.kt
@@ -2,6 +2,7 @@
 
 interface Foo
 
+@Target(AnnotationTarget.TYPE)
 annotation class Ann
 
 class E : <!ANNOTATION_ON_SUPERCLASS_WARNING!>@field:Ann<!> <!ANNOTATION_ON_SUPERCLASS_WARNING!>@get:Ann<!> <!ANNOTATION_ON_SUPERCLASS_WARNING!>@set:Ann<!> <!ANNOTATION_ON_SUPERCLASS_WARNING!>@setparam:Ann<!> Foo
diff --git a/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992.txt b/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992.txt
index f8066dc6177..78a12273c6c 100644
--- a/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992.txt
+++ b/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992.txt
@@ -1,6 +1,6 @@
 package
 
-public final annotation class Ann : kotlin.Annotation {
+@kotlin.annotation.Target(allowedTargets = {AnnotationTarget.TYPE}) public final annotation class Ann : kotlin.Annotation {
     public constructor Ann()
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
diff --git a/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992_after.fir.kt b/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992_after.fir.kt
deleted file mode 100644
index 16b31d9882e..00000000000
--- a/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992_after.fir.kt
+++ /dev/null
@@ -1,9 +0,0 @@
-// !LANGUAGE: +ProhibitUseSiteTargetAnnotationsOnSuperTypes
-
-interface Foo
-
-annotation class Ann
-
-class E : <!ANNOTATION_ON_SUPERCLASS!>@field:Ann<!> <!ANNOTATION_ON_SUPERCLASS!>@get:Ann<!> <!ANNOTATION_ON_SUPERCLASS!>@set:Ann<!> <!ANNOTATION_ON_SUPERCLASS!>@setparam:Ann<!> Foo
-
-interface G : <!WRONG_ANNOTATION_TARGET!>@Ann<!> Foo
diff --git a/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992_after.kt b/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992_after.kt
index 35d9da9d040..f2a4b2c94dc 100644
--- a/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992_after.kt
+++ b/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992_after.kt
@@ -1,7 +1,9 @@
+// FIR_IDENTICAL
 // !LANGUAGE: +ProhibitUseSiteTargetAnnotationsOnSuperTypes
 
 interface Foo
 
+@Target(AnnotationTarget.TYPE)
 annotation class Ann
 
 class E : <!ANNOTATION_ON_SUPERCLASS!>@field:Ann<!> <!ANNOTATION_ON_SUPERCLASS!>@get:Ann<!> <!ANNOTATION_ON_SUPERCLASS!>@set:Ann<!> <!ANNOTATION_ON_SUPERCLASS!>@setparam:Ann<!> Foo
diff --git a/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992_after.txt b/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992_after.txt
index f8066dc6177..78a12273c6c 100644
--- a/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992_after.txt
+++ b/compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/kt23992_after.txt
@@ -1,6 +1,6 @@
 package
 
-public final annotation class Ann : kotlin.Annotation {
+@kotlin.annotation.Target(allowedTargets = {AnnotationTarget.TYPE}) public final annotation class Ann : kotlin.Annotation {
     public constructor Ann()
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
diff --git a/compiler/testData/diagnostics/tests/evaluate/binaryMinusDepOnExpType.fir.kt b/compiler/testData/diagnostics/tests/evaluate/binaryMinusDepOnExpType.fir.kt
index dfc34368757..b6fda821e1a 100644
--- a/compiler/testData/diagnostics/tests/evaluate/binaryMinusDepOnExpType.fir.kt
+++ b/compiler/testData/diagnostics/tests/evaluate/binaryMinusDepOnExpType.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 fun fooInt(p: Int) = p
 fun fooLong(p: Long) = p
 fun fooByte(p: Byte) = p
diff --git a/compiler/testData/diagnostics/tests/evaluate/binaryMinusDepOnExpType.kt b/compiler/testData/diagnostics/tests/evaluate/binaryMinusDepOnExpType.kt
index c6144eea23c..a2643632a5c 100644
--- a/compiler/testData/diagnostics/tests/evaluate/binaryMinusDepOnExpType.kt
+++ b/compiler/testData/diagnostics/tests/evaluate/binaryMinusDepOnExpType.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 fun fooInt(p: Int) = p
 fun fooLong(p: Long) = p
 fun fooByte(p: Byte) = p
diff --git a/compiler/testData/diagnostics/tests/evaluate/inlineClasses/constructorOfUnsignedType.fir.kt b/compiler/testData/diagnostics/tests/evaluate/inlineClasses/constructorOfUnsignedType.fir.kt
index 4812a2c3de8..585f25a5318 100644
--- a/compiler/testData/diagnostics/tests/evaluate/inlineClasses/constructorOfUnsignedType.fir.kt
+++ b/compiler/testData/diagnostics/tests/evaluate/inlineClasses/constructorOfUnsignedType.fir.kt
@@ -1,4 +1,4 @@
-// !LANGUAGE: +InlineClasses, -JvmInlineValueClasses
+// !LANGUAGE: +InlineClasses, -JvmInlineValueClasses -ApproximateIntegerLiteralTypesInReceiverPosition
 // SKIP_JAVAC
 // ALLOW_KOTLIN_PACKAGE
 
diff --git a/compiler/testData/diagnostics/tests/evaluate/inlineClasses/constructorOfUnsignedType.kt b/compiler/testData/diagnostics/tests/evaluate/inlineClasses/constructorOfUnsignedType.kt
index 93512ea1dc3..a2acf2dbae3 100644
--- a/compiler/testData/diagnostics/tests/evaluate/inlineClasses/constructorOfUnsignedType.kt
+++ b/compiler/testData/diagnostics/tests/evaluate/inlineClasses/constructorOfUnsignedType.kt
@@ -1,4 +1,4 @@
-// !LANGUAGE: +InlineClasses, -JvmInlineValueClasses
+// !LANGUAGE: +InlineClasses, -JvmInlineValueClasses -ApproximateIntegerLiteralTypesInReceiverPosition
 // SKIP_JAVAC
 // ALLOW_KOTLIN_PACKAGE
 
diff --git a/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperations.fir.kt b/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperations.fir.kt
index b9785525765..be88afc1c70 100644
--- a/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperations.fir.kt
+++ b/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperations.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 fun fooInt(p: Int) = p
 fun fooLong(p: Long) = p
 fun fooByte(p: Byte) = p
diff --git a/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperations.kt b/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperations.kt
index dd1f3b2f3e9..572093edf45 100644
--- a/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperations.kt
+++ b/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperations.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 fun fooInt(p: Int) = p
 fun fooLong(p: Long) = p
 fun fooByte(p: Byte) = p
diff --git a/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperationsCall.fir.kt b/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperationsCall.fir.kt
index c1ea31e6e42..5aa415298da 100644
--- a/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperationsCall.fir.kt
+++ b/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperationsCall.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 fun fooInt(p: Int) = p
 fun fooLong(p: Long) = p
 fun fooByte(p: Byte) = p
diff --git a/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperationsCall.kt b/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperationsCall.kt
index b7cc68ba153..b22c15ccd75 100644
--- a/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperationsCall.kt
+++ b/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperationsCall.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 fun fooInt(p: Int) = p
 fun fooLong(p: Long) = p
 fun fooByte(p: Byte) = p
diff --git a/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperationsInfixCall.fir.kt b/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperationsInfixCall.fir.kt
index edf600dc9dc..fc5fa96c3a3 100644
--- a/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperationsInfixCall.fir.kt
+++ b/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperationsInfixCall.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 fun fooInt(p: Int) = p
 fun fooLong(p: Long) = p
 fun fooByte(p: Byte) = p
diff --git a/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperationsInfixCall.kt b/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperationsInfixCall.kt
index d3c96b424d7..b2bf9b03a6e 100644
--- a/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperationsInfixCall.kt
+++ b/compiler/testData/diagnostics/tests/evaluate/numberBinaryOperationsInfixCall.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 fun fooInt(p: Int) = p
 fun fooLong(p: Long) = p
 fun fooByte(p: Byte) = p
diff --git a/compiler/testData/diagnostics/tests/numbers/literalReceiverWithIntegerValueType.fir.kt b/compiler/testData/diagnostics/tests/numbers/literalReceiverWithIntegerValueType.fir.kt
index 9f5a178350a..b205d8a2086 100644
--- a/compiler/testData/diagnostics/tests/numbers/literalReceiverWithIntegerValueType.fir.kt
+++ b/compiler/testData/diagnostics/tests/numbers/literalReceiverWithIntegerValueType.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 // This test exists only to check that we don't accidentally break the buggy behavior of the old JVM backend in JVM IR (KT-42321).
 // Feel free to remove it as soon as there's no language version where such code is allowed (KT-38895).
 
diff --git a/compiler/testData/diagnostics/tests/numbers/literalReceiverWithIntegerValueType.kt b/compiler/testData/diagnostics/tests/numbers/literalReceiverWithIntegerValueType.kt
index e91b113836d..4b80f0ba863 100644
--- a/compiler/testData/diagnostics/tests/numbers/literalReceiverWithIntegerValueType.kt
+++ b/compiler/testData/diagnostics/tests/numbers/literalReceiverWithIntegerValueType.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 // This test exists only to check that we don't accidentally break the buggy behavior of the old JVM backend in JVM IR (KT-42321).
 // Feel free to remove it as soon as there's no language version where such code is allowed (KT-38895).