Update resolveAnnotations tests in new infrastructure

compiler/testData/diagnostics/tests/annotations/parameters/byte.fir.kt

@@ -0,0 +1,12 @@
+package test
+
+annotation class Ann(
+        val b1: Byte,
+        val b2: Byte,
+        val b3: Byte,
+        val b4: Byte
+)
+
+@Ann(1, 1.toByte(), 128.toByte(), <!ARGUMENT_TYPE_MISMATCH!>128<!>) class MyClass
+
+// EXPECTED: @Ann(b1 = 1.toByte(), b2 = 1.toByte(), b3 = -128.toByte(), b4 = 128)

compiler/testData/diagnostics/tests/annotations/parameters/byte.kt

@@ -7,6 +7,6 @@ annotation class Ann(
         val b4: Byte
 )
 
-@Ann(1, 1.toByte(), 128.toByte(), 128) class MyClass
+@Ann(1, 1.toByte(), 128.toByte(), <!CONSTANT_EXPECTED_TYPE_MISMATCH!>128<!>) class MyClass
 
 // EXPECTED: @Ann(b1 = 1.toByte(), b2 = 1.toByte(), b3 = -128.toByte(), b4 = 128)

compiler/testData/diagnostics/tests/annotations/parameters/byte.txt

@@ -0,0 +1,22 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Byte, /*1*/ b2: kotlin.Byte, /*2*/ b3: kotlin.Byte, /*3*/ b4: kotlin.Byte)
+        public final val b1: kotlin.Byte
+        public final val b2: kotlin.Byte
+        public final val b3: kotlin.Byte
+        public final val b4: kotlin.Byte
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = 1.toByte(), b2 = 1.toByte(), b3 = -128.toByte(), b4 = 128) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/char.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package test
 
 annotation class Ann(
@@ -11,6 +12,6 @@ annotation class Ann(
         val b8: Float
 )
 
-@Ann('c', 99.toChar(), 'c'.toInt(), 'c'.toLong(), 'c'.toByte(), 'c'.toShort(), 'c'.toDouble(), 'c'.toFloat()) class MyClass
+@Ann('c', 99.toChar(), 'c'.<!DEPRECATION!>toInt<!>(), 'c'.<!DEPRECATION!>toLong<!>(), 'c'.<!DEPRECATION!>toByte<!>(), 'c'.<!DEPRECATION!>toShort<!>(), 'c'.<!DEPRECATION!>toDouble<!>(), 'c'.<!DEPRECATION!>toFloat<!>()) class MyClass
 
 // EXPECTED: @Ann(b1 = \u0063 ('c'), b2 = \u0063 ('c'), b3 = 99, b4 = 99.toLong(), b5 = 99.toByte(), b6 = 99.toShort(), b7 = 99.0.toDouble(), b8 = 99.0.toFloat())

compiler/testData/diagnostics/tests/annotations/parameters/char.txt

@@ -0,0 +1,26 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Char, /*1*/ b2: kotlin.Char, /*2*/ b3: kotlin.Int, /*3*/ b4: kotlin.Long, /*4*/ b5: kotlin.Byte, /*5*/ b6: kotlin.Short, /*6*/ b7: kotlin.Double, /*7*/ b8: kotlin.Float)
+        public final val b1: kotlin.Char
+        public final val b2: kotlin.Char
+        public final val b3: kotlin.Int
+        public final val b4: kotlin.Long
+        public final val b5: kotlin.Byte
+        public final val b6: kotlin.Short
+        public final val b7: kotlin.Double
+        public final val b8: kotlin.Float
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = \u0063 ('c'), b2 = \u0063 ('c'), b3 = 99, b4 = 99.toLong(), b5 = 99.toByte(), b6 = 99.toShort(), b7 = 99.0.toDouble(), b8 = 99.0.toFloat()) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/double.fir.kt

@@ -0,0 +1,12 @@
+package test
+
+annotation class Ann(
+        val b1: Double,
+        val b2: Double,
+        val b3: Double,
+        val b4: Double
+)
+
+@Ann(1.0, 1.toDouble(), 1.7976931348623157E309.toDouble(), 1.7976931348623157E309) class MyClass
+
+// EXPECTED: @Ann(b1 = 1.0.toDouble(), b2 = 1.0.toDouble(), b3 = Infinity.toDouble(), b4 = Infinity.toDouble())

compiler/testData/diagnostics/tests/annotations/parameters/double.kt

@@ -7,6 +7,6 @@ annotation class Ann(
         val b4: Double
 )
 
-@Ann(1.0, 1.toDouble(), 1.7976931348623157E309.toDouble(), 1.7976931348623157E309) class MyClass
+@Ann(1.0, 1.toDouble(), <!FLOAT_LITERAL_CONFORMS_INFINITY!>1.7976931348623157E309<!>.toDouble(), <!FLOAT_LITERAL_CONFORMS_INFINITY!>1.7976931348623157E309<!>) class MyClass
 
 // EXPECTED: @Ann(b1 = 1.0.toDouble(), b2 = 1.0.toDouble(), b3 = Infinity.toDouble(), b4 = Infinity.toDouble())

compiler/testData/diagnostics/tests/annotations/parameters/double.txt

@@ -0,0 +1,22 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Double, /*1*/ b2: kotlin.Double, /*2*/ b3: kotlin.Double, /*3*/ b4: kotlin.Double)
+        public final val b1: kotlin.Double
+        public final val b2: kotlin.Double
+        public final val b3: kotlin.Double
+        public final val b4: kotlin.Double
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = 1.0.toDouble(), b2 = 1.0.toDouble(), b3 = Infinity.toDouble(), b4 = Infinity.toDouble()) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/andAnd.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package test
 
 annotation class Ann(

compiler/testData/diagnostics/tests/annotations/parameters/expressions/andAnd.txt

@@ -0,0 +1,20 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Boolean, /*1*/ b2: kotlin.Boolean)
+        public final val b1: kotlin.Boolean
+        public final val b2: kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = false, b2 = true) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/boolean.fir.kt

@@ -0,0 +1,11 @@
+package test
+
+annotation class Ann(
+        val b1: Boolean,
+        val b2: Boolean,
+        val b3: Boolean
+)
+
+@Ann(true and false, false or true, <!ANNOTATION_ARGUMENT_MUST_BE_CONST!>true xor false<!>) class MyClass
+
+// EXPECTED: @Ann(b1 = false, b2 = true, b3 = true)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/boolean.txt

@@ -0,0 +1,21 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Boolean, /*1*/ b2: kotlin.Boolean, /*2*/ b3: kotlin.Boolean)
+        public final val b1: kotlin.Boolean
+        public final val b2: kotlin.Boolean
+        public final val b3: kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = false, b2 = true, b3 = true) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/char.fir.kt

@@ -0,0 +1,7 @@
+package test
+
+annotation class Ann(val c1: Char)
+
+@Ann(<!ARGUMENT_TYPE_MISMATCH!>'a' - 'a'<!>) class MyClass
+
+// EXPECTED: @Ann(c1 = 0)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/char.kt

@@ -2,6 +2,6 @@ package test
 
 annotation class Ann(val c1: Char)
 
-@Ann('a' - 'a') class MyClass
+@Ann(<!TYPE_MISMATCH!>'a' - 'a'<!>) class MyClass
 
 // EXPECTED: @Ann(c1 = 0)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/char.txt

@@ -0,0 +1,19 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ c1: kotlin.Char)
+        public final val c1: kotlin.Char
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(c1 = 0) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/compositeCallBinary.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package test
 
 annotation class Ann(

compiler/testData/diagnostics/tests/annotations/parameters/expressions/compositeCallBinary.txt

@@ -0,0 +1,21 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ p1: kotlin.Int, /*1*/ p2: kotlin.Int, /*2*/ p3: kotlin.Int)
+        public final val p1: kotlin.Int
+        public final val p2: kotlin.Int
+        public final val p3: kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(p1 = 2, p2 = 0, p3 = 1) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/divide.fir.kt

@@ -0,0 +1,12 @@
+package test
+
+annotation class Ann(
+        val b: Byte,
+        val s: Short,
+        val i: Int,
+        val l: Long
+)
+
+@Ann(<!ARGUMENT_TYPE_MISMATCH!>1 / 1<!>, <!ARGUMENT_TYPE_MISMATCH!>1 / 1<!>, 1 / 1, <!ARGUMENT_TYPE_MISMATCH!>1 / 1<!>) class MyClass
+
+// EXPECTED: @Ann(b = 1.toByte(), i = 1, l = 1.toLong(), s = 1.toShort())

compiler/testData/diagnostics/tests/annotations/parameters/expressions/divide.kt

@@ -7,6 +7,6 @@ annotation class Ann(
         val l: Long
 )
 
-@Ann(1 / 1, 1 / 1, 1 / 1, 1 / 1) class MyClass
+@Ann(<!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 / 1<!>, <!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 / 1<!>, 1 / 1, <!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 / 1<!>) class MyClass
 
 // EXPECTED: @Ann(b = 1.toByte(), i = 1, l = 1.toLong(), s = 1.toShort())

compiler/testData/diagnostics/tests/annotations/parameters/expressions/divide.txt

@@ -0,0 +1,22 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b: kotlin.Byte, /*1*/ s: kotlin.Short, /*2*/ i: kotlin.Int, /*3*/ l: kotlin.Long)
+        public final val b: kotlin.Byte
+        public final val i: kotlin.Int
+        public final val l: kotlin.Long
+        public final val s: kotlin.Short
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b = 1.toByte(), i = 1, l = 1.toLong(), s = 1.toShort()) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/double.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package test
 
 annotation class Ann(

compiler/testData/diagnostics/tests/annotations/parameters/expressions/double.txt

@@ -0,0 +1,21 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ d1: kotlin.Double, /*1*/ d2: kotlin.Double, /*2*/ d3: kotlin.Double)
+        public final val d1: kotlin.Double
+        public final val d2: kotlin.Double
+        public final val d3: kotlin.Double
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(d1 = 2.0.toDouble(), d2 = 2.0.toDouble(), d3 = 2.0.toDouble()) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/eqeq.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package test
 
 annotation class Ann(

compiler/testData/diagnostics/tests/annotations/parameters/expressions/eqeq.txt

@@ -0,0 +1,23 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Boolean, /*1*/ b2: kotlin.Boolean, /*2*/ b3: kotlin.Boolean, /*3*/ b4: kotlin.Boolean, /*4*/ b5: kotlin.Boolean)
+        public final val b1: kotlin.Boolean
+        public final val b2: kotlin.Boolean
+        public final val b3: kotlin.Boolean
+        public final val b4: kotlin.Boolean
+        public final val b5: kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = false, b2 = false, b3 = false, b4 = false, b5 = true) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/escapedString.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package test
 
 annotation class Ann(val s1: String)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/escapedString.txt

@@ -0,0 +1,19 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ s1: kotlin.String)
+        public final val s1: kotlin.String
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(s1 = "$ab") public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/float.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package test
 
 

compiler/testData/diagnostics/tests/annotations/parameters/expressions/float.txt

@@ -0,0 +1,21 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ d1: kotlin.Float, /*1*/ d2: kotlin.Float, /*2*/ d3: kotlin.Double)
+        public final val d1: kotlin.Float
+        public final val d2: kotlin.Float
+        public final val d3: kotlin.Double
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(d1 = 2.0.toFloat(), d2 = 2.0.toFloat(), d3 = 2.0.toDouble()) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/gt.fir.kt

@@ -0,0 +1,17 @@
+package test
+
+annotation class Ann(
+        val b1: Boolean,
+        val b2: Boolean,
+        val b3: Boolean,
+        val b4: Boolean,
+        val b5: Boolean,
+        val b6: Boolean
+)
+
+val a = 1
+val b = 2
+
+@Ann(<!ANNOTATION_ARGUMENT_MUST_BE_CONST!>1 > 2<!>, <!ANNOTATION_ARGUMENT_MUST_BE_CONST!>1.0 > 2.0<!>, <!ANNOTATION_ARGUMENT_MUST_BE_CONST!>2 > a<!>, <!ANNOTATION_ARGUMENT_MUST_BE_CONST!>b > a<!>, <!ANNOTATION_ARGUMENT_MUST_BE_CONST!>'b' > 'a'<!>, <!ANNOTATION_ARGUMENT_MUST_BE_CONST!>"a" > "b"<!>) class MyClass
+
+// EXPECTED: @Ann(b1 = false, b2 = false, b3 = true, b4 = true, b5 = true, b6 = false)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/gt.kt

@@ -12,6 +12,6 @@ annotation class Ann(
 val a = 1
 val b = 2
 
-@Ann(1 > 2, 1.0 > 2.0, 2 > a, b > a, 'b' > 'a', "a" > "b") class MyClass
+@Ann(1 > 2, 1.0 > 2.0, <!NON_CONST_VAL_USED_IN_CONSTANT_EXPRESSION!>2 > a<!>, <!NON_CONST_VAL_USED_IN_CONSTANT_EXPRESSION!>b > a<!>, 'b' > 'a', "a" > "b") class MyClass
 
 // EXPECTED: @Ann(b1 = false, b2 = false, b3 = true, b4 = true, b5 = true, b6 = false)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/gt.txt

@@ -0,0 +1,26 @@
+package
+
+package test {
+    public val a: kotlin.Int = 1
+    public val b: kotlin.Int = 2
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Boolean, /*1*/ b2: kotlin.Boolean, /*2*/ b3: kotlin.Boolean, /*3*/ b4: kotlin.Boolean, /*4*/ b5: kotlin.Boolean, /*5*/ b6: kotlin.Boolean)
+        public final val b1: kotlin.Boolean
+        public final val b2: kotlin.Boolean
+        public final val b3: kotlin.Boolean
+        public final val b4: kotlin.Boolean
+        public final val b5: kotlin.Boolean
+        public final val b6: kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = false, b2 = false, b3 = true, b4 = true, b5 = true, b6 = false) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/gteq.fir.kt

@@ -0,0 +1,12 @@
+package test
+
+annotation class Ann(
+        val b1: Boolean,
+        val b2: Boolean,
+        val b3: Boolean,
+        val b4: Boolean
+)
+
+@Ann(<!ANNOTATION_ARGUMENT_MUST_BE_CONST!>1 >= 2<!>, <!ANNOTATION_ARGUMENT_MUST_BE_CONST!>1.0 >= 2.0<!>, <!ANNOTATION_ARGUMENT_MUST_BE_CONST!>1 >= 1<!>, <!ANNOTATION_ARGUMENT_MUST_BE_CONST!>1.0 >= 1.0<!>) class MyClass
+
+// EXPECTED: @Ann(b1 = false, b2 = false, b3 = true, b4 = true)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/gteq.txt

@@ -0,0 +1,22 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Boolean, /*1*/ b2: kotlin.Boolean, /*2*/ b3: kotlin.Boolean, /*3*/ b4: kotlin.Boolean)
+        public final val b1: kotlin.Boolean
+        public final val b2: kotlin.Boolean
+        public final val b3: kotlin.Boolean
+        public final val b4: kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = false, b2 = false, b3 = true, b4 = true) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/intrincics.fir.kt

@@ -0,0 +1,13 @@
+package test
+
+annotation class Ann(<!MISSING_VAL_ON_ANNOTATION_PARAMETER!>p1: Int<!>,
+                     <!MISSING_VAL_ON_ANNOTATION_PARAMETER!>p2: Short<!>,
+                     <!MISSING_VAL_ON_ANNOTATION_PARAMETER!>p3: Byte<!>,
+                     <!MISSING_VAL_ON_ANNOTATION_PARAMETER!>p4: Int<!>,
+                     <!MISSING_VAL_ON_ANNOTATION_PARAMETER!>p5: Int<!>,
+                     <!MISSING_VAL_ON_ANNOTATION_PARAMETER!>p6: Int<!>
+                     )
+
+@Ann(1 or 1, <!ARGUMENT_TYPE_MISMATCH!>1 and 1<!>, <!ANNOTATION_ARGUMENT_MUST_BE_CONST, ARGUMENT_TYPE_MISMATCH!>1 xor 1<!>, 1 shl 1, 1 shr 1, 1 ushr 1) class MyClass
+
+// EXPECTED: @Ann(p1 = 1, p2 = 1.toShort(), p3 = 0.toByte(), p4 = 2, p5 = 0, p6 = 0)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/intrincics.kt

@@ -1,13 +1,13 @@
 package test
 
-annotation class Ann(p1: Int,
-                     p2: Short,
-                     p3: Byte,
-                     p4: Int,
-                     p5: Int,
-                     p6: Int
+annotation class Ann(<!MISSING_VAL_ON_ANNOTATION_PARAMETER!>p1: Int<!>,
+                     <!MISSING_VAL_ON_ANNOTATION_PARAMETER!>p2: Short<!>,
+                     <!MISSING_VAL_ON_ANNOTATION_PARAMETER!>p3: Byte<!>,
+                     <!MISSING_VAL_ON_ANNOTATION_PARAMETER!>p4: Int<!>,
+                     <!MISSING_VAL_ON_ANNOTATION_PARAMETER!>p5: Int<!>,
+                     <!MISSING_VAL_ON_ANNOTATION_PARAMETER!>p6: Int<!>
                      )
 
-@Ann(1 or 1, 1 and 1, 1 xor 1, 1 shl 1, 1 shr 1, 1 ushr 1) class MyClass
+@Ann(1 or 1, <!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 and 1<!>, <!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 xor 1<!>, 1 shl 1, 1 shr 1, 1 ushr 1) class MyClass
 
 // EXPECTED: @Ann(p1 = 1, p2 = 1.toShort(), p3 = 0.toByte(), p4 = 2, p5 = 0, p6 = 0)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/intrincics.txt

@@ -0,0 +1,18 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ p1: kotlin.Int, /*1*/ p2: kotlin.Short, /*2*/ p3: kotlin.Byte, /*3*/ p4: kotlin.Int, /*4*/ p5: kotlin.Int, /*5*/ p6: kotlin.Int)
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(p1 = 1, p2 = 1.toShort(), p3 = 0.toByte(), p4 = 2, p5 = 0, p6 = 0) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/labeled.kt

@@ -1,6 +1,7 @@
+// FIR_IDENTICAL
 package test
 
-annotation class Ann(i: Double)
+annotation class Ann(<!MISSING_VAL_ON_ANNOTATION_PARAMETER!>i: Double<!>)
 
 @Ann(A@ 1.0) class MyClass
 

compiler/testData/diagnostics/tests/annotations/parameters/expressions/labeled.txt

@@ -0,0 +1,18 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ i: kotlin.Double)
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(i = 1.0.toDouble()) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/long.fir.kt

@@ -0,0 +1,11 @@
+package test
+
+annotation class Ann(
+        val l1: Long,
+        val l2: Long,
+        val l3: Long
+)
+
+@Ann(<!ARGUMENT_TYPE_MISMATCH!>1 + 1<!>, java.lang.Long.MAX_VALUE + 1 - 1, java.lang.Long.MAX_VALUE - 1) class MyClass
+
+// EXPECTED: @Ann(l1 = 2.toLong(), l2 = 9223372036854775807.toLong(), l3 = 9223372036854775806.toLong())

compiler/testData/diagnostics/tests/annotations/parameters/expressions/long.kt

@@ -6,6 +6,6 @@ annotation class Ann(
         val l3: Long
 )
 
-@Ann(1 + 1, java.lang.Long.MAX_VALUE + 1 - 1, java.lang.Long.MAX_VALUE - 1) class MyClass
+@Ann(<!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 + 1<!>, <!INTEGER_OVERFLOW!><!INTEGER_OVERFLOW!>java.lang.Long.MAX_VALUE + 1<!> - 1<!>, java.lang.Long.MAX_VALUE - 1) class MyClass
 
 // EXPECTED: @Ann(l1 = 2.toLong(), l2 = 9223372036854775807.toLong(), l3 = 9223372036854775806.toLong())

compiler/testData/diagnostics/tests/annotations/parameters/expressions/long.txt

@@ -0,0 +1,21 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ l1: kotlin.Long, /*1*/ l2: kotlin.Long, /*2*/ l3: kotlin.Long)
+        public final val l1: kotlin.Long
+        public final val l2: kotlin.Long
+        public final val l3: kotlin.Long
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(l1 = 2.toLong(), l2 = 9223372036854775807.toLong(), l3 = 9223372036854775806.toLong()) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/lt.fir.kt

@@ -0,0 +1,17 @@
+package test
+
+annotation class Ann(
+        val b1: Boolean,
+        val b2: Boolean,
+        val b3: Boolean,
+        val b4: Boolean,
+        val b5: Boolean,
+        val b6: Boolean
+)
+
+val a = 1
+val b = 2
+
+@Ann(<!ANNOTATION_ARGUMENT_MUST_BE_CONST!>1 < 2<!>, <!ANNOTATION_ARGUMENT_MUST_BE_CONST!>1.0 < 2.0<!>, <!ANNOTATION_ARGUMENT_MUST_BE_CONST!>2 < a<!>, <!ANNOTATION_ARGUMENT_MUST_BE_CONST!>b < a<!>, <!ANNOTATION_ARGUMENT_MUST_BE_CONST!>'b' < 'a'<!>, <!ANNOTATION_ARGUMENT_MUST_BE_CONST!>"a" < "b"<!>) class MyClass
+
+// EXPECTED: @Ann(b1 = true, b2 = true, b3 = false, b4 = false, b5 = false, b6 = true)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/lt.kt

@@ -12,6 +12,6 @@ annotation class Ann(
 val a = 1
 val b = 2
 
-@Ann(1 < 2, 1.0 < 2.0, 2 < a, b < a, 'b' < 'a', "a" < "b") class MyClass
+@Ann(1 < 2, 1.0 < 2.0, <!NON_CONST_VAL_USED_IN_CONSTANT_EXPRESSION!>2 < a<!>, <!NON_CONST_VAL_USED_IN_CONSTANT_EXPRESSION!>b < a<!>, 'b' < 'a', "a" < "b") class MyClass
 
 // EXPECTED: @Ann(b1 = true, b2 = true, b3 = false, b4 = false, b5 = false, b6 = true)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/lt.txt

@@ -0,0 +1,26 @@
+package
+
+package test {
+    public val a: kotlin.Int = 1
+    public val b: kotlin.Int = 2
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Boolean, /*1*/ b2: kotlin.Boolean, /*2*/ b3: kotlin.Boolean, /*3*/ b4: kotlin.Boolean, /*4*/ b5: kotlin.Boolean, /*5*/ b6: kotlin.Boolean)
+        public final val b1: kotlin.Boolean
+        public final val b2: kotlin.Boolean
+        public final val b3: kotlin.Boolean
+        public final val b4: kotlin.Boolean
+        public final val b5: kotlin.Boolean
+        public final val b6: kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = true, b2 = true, b3 = false, b4 = false, b5 = false, b6 = true) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/lteq.fir.kt

@@ -0,0 +1,12 @@
+package test
+
+annotation class Ann(
+        val b1: Boolean,
+        val b2: Boolean,
+        val b3: Boolean,
+        val b4: Boolean
+)
+
+@Ann(<!ANNOTATION_ARGUMENT_MUST_BE_CONST!>1 <= 2<!>, <!ANNOTATION_ARGUMENT_MUST_BE_CONST!>1.0 <= 2.0<!>, <!ANNOTATION_ARGUMENT_MUST_BE_CONST!>1 <= 1<!>, <!ANNOTATION_ARGUMENT_MUST_BE_CONST!>1.0 <= 1.0<!>) class MyClass
+
+// EXPECTED: @Ann(b1 = true, b2 = true, b3 = true, b4 = true)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/lteq.txt

@@ -0,0 +1,22 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Boolean, /*1*/ b2: kotlin.Boolean, /*2*/ b3: kotlin.Boolean, /*3*/ b4: kotlin.Boolean)
+        public final val b1: kotlin.Boolean
+        public final val b2: kotlin.Boolean
+        public final val b3: kotlin.Boolean
+        public final val b4: kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = true, b2 = true, b3 = true, b4 = true) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/maxValue.fir.kt

@@ -0,0 +1,21 @@
+package test
+
+annotation class Ann(
+        val p1: Byte,
+        val p2: Short,
+        val p3: Int,
+        val p4: Int,
+        val p5: Long,
+        val p6: Long
+)
+
+@Ann(
+    p1 = <!ARGUMENT_TYPE_MISMATCH!>java.lang.Byte.MAX_VALUE + 1<!>,
+    p2 = <!ARGUMENT_TYPE_MISMATCH!>java.lang.Short.MAX_VALUE + 1<!>,
+    p3 = java.lang.Integer.MAX_VALUE + 1,
+    p4 = java.lang.Integer.MAX_VALUE + 1,
+    p5 = java.lang.Integer.MAX_VALUE + 1.toLong(),
+    p6 = java.lang.Long.MAX_VALUE + 1
+) class MyClass
+
+// EXPECTED: @Ann(p1 = 128, p2 = 32768, p3 = -2147483648, p4 = -2147483648, p5 = 2147483648.toLong(), p6 = -9223372036854775808.toLong())

compiler/testData/diagnostics/tests/annotations/parameters/expressions/maxValue.kt

@@ -10,12 +10,12 @@ annotation class Ann(
 )
 
 @Ann(
-    p1 = java.lang.Byte.MAX_VALUE + 1,
-    p2 = java.lang.Short.MAX_VALUE + 1,
-    p3 = java.lang.Integer.MAX_VALUE + 1,
-    p4 = java.lang.Integer.MAX_VALUE + 1,
+    p1 = <!TYPE_MISMATCH!>java.lang.Byte.MAX_VALUE + 1<!>,
+    p2 = <!TYPE_MISMATCH!>java.lang.Short.MAX_VALUE + 1<!>,
+    p3 = <!INTEGER_OVERFLOW!>java.lang.Integer.MAX_VALUE + 1<!>,
+    p4 = <!INTEGER_OVERFLOW!>java.lang.Integer.MAX_VALUE + 1<!>,
     p5 = java.lang.Integer.MAX_VALUE + 1.toLong(),
-    p6 = java.lang.Long.MAX_VALUE + 1
+    p6 = <!INTEGER_OVERFLOW!>java.lang.Long.MAX_VALUE + 1<!>
 ) class MyClass
 
 // EXPECTED: @Ann(p1 = 128, p2 = 32768, p3 = -2147483648, p4 = -2147483648, p5 = 2147483648.toLong(), p6 = -9223372036854775808.toLong())

compiler/testData/diagnostics/tests/annotations/parameters/expressions/maxValue.txt

@@ -0,0 +1,24 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ p1: kotlin.Byte, /*1*/ p2: kotlin.Short, /*2*/ p3: kotlin.Int, /*3*/ p4: kotlin.Int, /*4*/ p5: kotlin.Long, /*5*/ p6: kotlin.Long)
+        public final val p1: kotlin.Byte
+        public final val p2: kotlin.Short
+        public final val p3: kotlin.Int
+        public final val p4: kotlin.Int
+        public final val p5: kotlin.Long
+        public final val p6: kotlin.Long
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(p1 = 128, p2 = 32768, p3 = -2147483648, p4 = -2147483648, p5 = 2147483648.toLong(), p6 = -9223372036854775808.toLong()) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/maxValueByte.fir.kt

@@ -0,0 +1,19 @@
+package test
+
+annotation class Ann(
+        val p1: Byte,
+        val p2: Byte,
+        val p3: Int,
+        val p4: Int,
+        val p5: Byte
+)
+
+@Ann(
+    p1 = <!ARGUMENT_TYPE_MISMATCH!>java.lang.Byte.MAX_VALUE + 1<!>,
+    p2 = <!ARGUMENT_TYPE_MISMATCH!>1 + 1<!>,
+    p3 = java.lang.Byte.MAX_VALUE + 1,
+    p4 = 1.toByte() + 1.toByte(),
+    p5 = <!ARGUMENT_TYPE_MISMATCH!>1.toByte() + 1.toByte()<!>
+) class MyClass
+
+// EXPECTED: @Ann(p1 = 128, p2 = 2.toByte(), p3 = 128, p4 = 2, p5 = 2)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/maxValueByte.kt

@@ -9,11 +9,11 @@ annotation class Ann(
 )
 
 @Ann(
-    p1 = java.lang.Byte.MAX_VALUE + 1,
-    p2 = 1 + 1,
+    p1 = <!TYPE_MISMATCH!>java.lang.Byte.MAX_VALUE + 1<!>,
+    p2 = <!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 + 1<!>,
     p3 = java.lang.Byte.MAX_VALUE + 1,
     p4 = 1.toByte() + 1.toByte(),
-    p5 = 1.toByte() + 1.toByte()
+    p5 = <!TYPE_MISMATCH!>1.toByte() + 1.toByte()<!>
 ) class MyClass
 
 // EXPECTED: @Ann(p1 = 128, p2 = 2.toByte(), p3 = 128, p4 = 2, p5 = 2)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/maxValueByte.txt

@@ -0,0 +1,23 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ p1: kotlin.Byte, /*1*/ p2: kotlin.Byte, /*2*/ p3: kotlin.Int, /*3*/ p4: kotlin.Int, /*4*/ p5: kotlin.Byte)
+        public final val p1: kotlin.Byte
+        public final val p2: kotlin.Byte
+        public final val p3: kotlin.Int
+        public final val p4: kotlin.Int
+        public final val p5: kotlin.Byte
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(p1 = 128, p2 = 2.toByte(), p3 = 128, p4 = 2, p5 = 2) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/maxValueInt.fir.kt

@@ -0,0 +1,19 @@
+package test
+
+annotation class Ann(
+        val p1: Int,
+        val p2: Int,
+        val p3: Long,
+        val p4: Long,
+        val p5: Int
+)
+
+@Ann(
+    p1 = java.lang.Integer.MAX_VALUE + 1,
+    p2 = 1 + 1,
+    p3 = <!ARGUMENT_TYPE_MISMATCH!>java.lang.Integer.MAX_VALUE + 1<!>,
+    p4 = <!ARGUMENT_TYPE_MISMATCH!>1.toInt() + 1.toInt()<!>,
+    p5 = 1.toInt() + 1.toInt()
+) class MyClass
+
+// EXPECTED: @Ann(p1 = -2147483648, p2 = 2, p3 = -2147483648, p4 = 2, p5 = 2)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/maxValueInt.kt

@@ -9,10 +9,10 @@ annotation class Ann(
 )
 
 @Ann(
-    p1 = java.lang.Integer.MAX_VALUE + 1,
+    p1 = <!INTEGER_OVERFLOW!>java.lang.Integer.MAX_VALUE + 1<!>,
     p2 = 1 + 1,
-    p3 = java.lang.Integer.MAX_VALUE + 1,
-    p4 = 1.toInt() + 1.toInt(),
+    p3 = <!INTEGER_OVERFLOW, TYPE_MISMATCH!>java.lang.Integer.MAX_VALUE + 1<!>,
+    p4 = <!TYPE_MISMATCH!>1.toInt() + 1.toInt()<!>,
     p5 = 1.toInt() + 1.toInt()
 ) class MyClass
 

compiler/testData/diagnostics/tests/annotations/parameters/expressions/maxValueInt.txt

@@ -0,0 +1,23 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ p1: kotlin.Int, /*1*/ p2: kotlin.Int, /*2*/ p3: kotlin.Long, /*3*/ p4: kotlin.Long, /*4*/ p5: kotlin.Int)
+        public final val p1: kotlin.Int
+        public final val p2: kotlin.Int
+        public final val p3: kotlin.Long
+        public final val p4: kotlin.Long
+        public final val p5: kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(p1 = -2147483648, p2 = 2, p3 = -2147483648, p4 = 2, p5 = 2) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/miltiply.fir.kt

@@ -0,0 +1,12 @@
+package test
+
+annotation class Ann(
+        val b: Byte,
+        val s: Short,
+        val i: Int,
+        val l: Long
+)
+
+@Ann(<!ARGUMENT_TYPE_MISMATCH!>1 * 1<!>, <!ARGUMENT_TYPE_MISMATCH!>1 * 1<!>, 1 * 1, <!ARGUMENT_TYPE_MISMATCH!>1 * 1<!>) class MyClass
+
+// EXPECTED: @Ann(b = 1.toByte(), i = 1, l = 1.toLong(), s = 1.toShort())

compiler/testData/diagnostics/tests/annotations/parameters/expressions/miltiply.kt

@@ -7,6 +7,6 @@ annotation class Ann(
         val l: Long
 )
 
-@Ann(1 * 1, 1 * 1, 1 * 1, 1 * 1) class MyClass
+@Ann(<!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 * 1<!>, <!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 * 1<!>, 1 * 1, <!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 * 1<!>) class MyClass
 
 // EXPECTED: @Ann(b = 1.toByte(), i = 1, l = 1.toLong(), s = 1.toShort())

compiler/testData/diagnostics/tests/annotations/parameters/expressions/miltiply.txt

@@ -0,0 +1,22 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b: kotlin.Byte, /*1*/ s: kotlin.Short, /*2*/ i: kotlin.Int, /*3*/ l: kotlin.Long)
+        public final val b: kotlin.Byte
+        public final val i: kotlin.Int
+        public final val l: kotlin.Long
+        public final val s: kotlin.Short
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b = 1.toByte(), i = 1, l = 1.toLong(), s = 1.toShort()) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/minus.fir.kt

@@ -0,0 +1,12 @@
+package test
+
+annotation class Ann(
+        val b: Byte,
+        val s: Short,
+        val i: Int,
+        val l: Long
+)
+
+@Ann(<!ARGUMENT_TYPE_MISMATCH!>1 - 1<!>, <!ARGUMENT_TYPE_MISMATCH!>1 - 1<!>, 1 - 1, <!ARGUMENT_TYPE_MISMATCH!>1 - 1<!>) class MyClass
+
+// EXPECTED: @Ann(b = 0.toByte(), i = 0, l = 0.toLong(), s = 0.toShort())

compiler/testData/diagnostics/tests/annotations/parameters/expressions/minus.kt

@@ -7,6 +7,6 @@ annotation class Ann(
         val l: Long
 )
 
-@Ann(1 - 1, 1 - 1, 1 - 1, 1 - 1) class MyClass
+@Ann(<!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 - 1<!>, <!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 - 1<!>, 1 - 1, <!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 - 1<!>) class MyClass
 
 // EXPECTED: @Ann(b = 0.toByte(), i = 0, l = 0.toLong(), s = 0.toShort())

compiler/testData/diagnostics/tests/annotations/parameters/expressions/minus.txt

@@ -0,0 +1,22 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b: kotlin.Byte, /*1*/ s: kotlin.Short, /*2*/ i: kotlin.Int, /*3*/ l: kotlin.Long)
+        public final val b: kotlin.Byte
+        public final val i: kotlin.Int
+        public final val l: kotlin.Long
+        public final val s: kotlin.Short
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b = 0.toByte(), i = 0, l = 0.toLong(), s = 0.toShort()) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/mod.fir.kt

@@ -0,0 +1,12 @@
+package test
+
+annotation class Ann(
+        val b: Byte,
+        val s: Short,
+        val i: Int,
+        val l: Long
+)
+
+@Ann(<!ARGUMENT_TYPE_MISMATCH!>1 % 1<!>, <!ARGUMENT_TYPE_MISMATCH!>1 % 1<!>, 1 % 1, <!ARGUMENT_TYPE_MISMATCH!>1 % 1<!>) class MyClass
+
+// EXPECTED: @Ann(b = 0.toByte(), i = 0, l = 0.toLong(), s = 0.toShort())

compiler/testData/diagnostics/tests/annotations/parameters/expressions/mod.kt

@@ -7,6 +7,6 @@ annotation class Ann(
         val l: Long
 )
 
-@Ann(1 % 1, 1 % 1, 1 % 1, 1 % 1) class MyClass
+@Ann(<!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 % 1<!>, <!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 % 1<!>, 1 % 1, <!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 % 1<!>) class MyClass
 
 // EXPECTED: @Ann(b = 0.toByte(), i = 0, l = 0.toLong(), s = 0.toShort())

compiler/testData/diagnostics/tests/annotations/parameters/expressions/mod.txt

@@ -0,0 +1,22 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b: kotlin.Byte, /*1*/ s: kotlin.Short, /*2*/ i: kotlin.Int, /*3*/ l: kotlin.Long)
+        public final val b: kotlin.Byte
+        public final val i: kotlin.Int
+        public final val l: kotlin.Long
+        public final val s: kotlin.Short
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b = 0.toByte(), i = 0, l = 0.toLong(), s = 0.toShort()) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/multilineString.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package test
 
 annotation class Ann(val s1: String)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/multilineString.txt

@@ -0,0 +1,19 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ s1: kotlin.String)
+        public final val s1: kotlin.String
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(s1 = "ab") public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/not.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package test
 
 annotation class Ann(
@@ -6,6 +7,6 @@ annotation class Ann(
         val b3: Boolean
 )
 
-@Ann(!true, !false) class MyClass
+@Ann(!true, !false<!NO_VALUE_FOR_PARAMETER!>)<!> class MyClass
 
 // EXPECTED: @Ann(b1 = false, b2 = true)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/not.txt

@@ -0,0 +1,22 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Boolean, /*1*/ b2: kotlin.Boolean, /*2*/ b3: kotlin.Boolean)
+        public final val b1: kotlin.Boolean
+        public final val b2: kotlin.Boolean
+        public final val b3: kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = false, b2 = true) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}
+

compiler/testData/diagnostics/tests/annotations/parameters/expressions/noteq.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package test
 
 annotation class Ann(

compiler/testData/diagnostics/tests/annotations/parameters/expressions/noteq.txt

@@ -0,0 +1,23 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Boolean, /*1*/ b2: kotlin.Boolean, /*2*/ b3: kotlin.Boolean, /*3*/ b4: kotlin.Boolean, /*4*/ b5: kotlin.Boolean)
+        public final val b1: kotlin.Boolean
+        public final val b2: kotlin.Boolean
+        public final val b3: kotlin.Boolean
+        public final val b4: kotlin.Boolean
+        public final val b5: kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = true, b2 = true, b3 = true, b4 = true, b5 = false) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/orOr.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package test
 
 annotation class Ann(

compiler/testData/diagnostics/tests/annotations/parameters/expressions/orOr.txt

@@ -0,0 +1,20 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Boolean, /*1*/ b2: kotlin.Boolean)
+        public final val b1: kotlin.Boolean
+        public final val b2: kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = true, b2 = true) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/paranthesized.kt

@@ -1,6 +1,7 @@
+// FIR_IDENTICAL
 package test
 
-annotation class Ann(i: Int)
+annotation class Ann(<!MISSING_VAL_ON_ANNOTATION_PARAMETER!>i: Int<!>)
 
 @Ann((1 + 2) * 2) class MyClass
 

compiler/testData/diagnostics/tests/annotations/parameters/expressions/paranthesized.txt

@@ -0,0 +1,18 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ i: kotlin.Int)
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(i = 6) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/plus.fir.kt

@@ -0,0 +1,12 @@
+package test
+
+annotation class Ann(
+        val b: Byte,
+        val s: Short,
+        val i: Int,
+        val l: Long
+)
+
+@Ann(<!ARGUMENT_TYPE_MISMATCH!>1 + 1<!>, <!ARGUMENT_TYPE_MISMATCH!>1 + 1<!>, 1 + 1, <!ARGUMENT_TYPE_MISMATCH!>1 + 1<!>) class MyClass
+
+// EXPECTED: @Ann(b = 2.toByte(), i = 2, l = 2.toLong(), s = 2.toShort())

compiler/testData/diagnostics/tests/annotations/parameters/expressions/plus.kt

@@ -7,6 +7,6 @@ annotation class Ann(
         val l: Long
 )
 
-@Ann(1 + 1, 1 + 1, 1 + 1, 1 + 1) class MyClass
+@Ann(<!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 + 1<!>, <!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 + 1<!>, 1 + 1, <!INTEGER_OPERATOR_RESOLVE_WILL_CHANGE!>1 + 1<!>) class MyClass
 
 // EXPECTED: @Ann(b = 2.toByte(), i = 2, l = 2.toLong(), s = 2.toShort())

compiler/testData/diagnostics/tests/annotations/parameters/expressions/plus.txt

@@ -0,0 +1,22 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b: kotlin.Byte, /*1*/ s: kotlin.Short, /*2*/ i: kotlin.Int, /*3*/ l: kotlin.Long)
+        public final val b: kotlin.Byte
+        public final val i: kotlin.Int
+        public final val l: kotlin.Long
+        public final val s: kotlin.Short
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b = 2.toByte(), i = 2, l = 2.toLong(), s = 2.toShort()) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/simpleCallBinary.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package test
 
 annotation class Ann(

compiler/testData/diagnostics/tests/annotations/parameters/expressions/simpleCallBinary.txt

@@ -0,0 +1,23 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ p1: kotlin.Int, /*1*/ p2: kotlin.Int, /*2*/ p3: kotlin.Int, /*3*/ p4: kotlin.Int, /*4*/ p5: kotlin.Int)
+        public final val p1: kotlin.Int
+        public final val p2: kotlin.Int
+        public final val p3: kotlin.Int
+        public final val p4: kotlin.Int
+        public final val p5: kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(p1 = 2, p2 = 0, p3 = 1, p4 = 1, p5 = 0) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/stringPlusInt.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package test
 
 annotation class Ann(val s1: String)

compiler/testData/diagnostics/tests/annotations/parameters/expressions/stringPlusInt.txt

@@ -0,0 +1,19 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ s1: kotlin.String)
+        public final val s1: kotlin.String
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(s1 = "a1") public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/stringTemplate.fir.kt

@@ -0,0 +1,19 @@
+package test
+
+annotation class Ann(
+        val s1: String,
+        val s2: String,
+        val s3: String,
+        val s4: String
+)
+
+val i = 1
+
+@Ann(
+    s1 = "a$i",
+    s2 = "a$i b",
+    s3 = <!NON_CONST_VAL_USED_IN_CONSTANT_EXPRESSION!>"$i"<!>,
+    s4 = "a${i}a$i"
+) class MyClass
+
+// EXPECTED: @Ann(s1 = "a1", s2 = "a1 b", s3 = "1", s4 = "a1a1")

compiler/testData/diagnostics/tests/annotations/parameters/expressions/stringTemplate.kt

@@ -10,10 +10,10 @@ annotation class Ann(
 val i = 1
 
 @Ann(
-    s1 = "a$i",
-    s2 = "a$i b",
-    s3 = "$i",
-    s4 = "a${i}a$i"
+    s1 = <!NON_CONST_VAL_USED_IN_CONSTANT_EXPRESSION!>"a$i"<!>,
+    s2 = <!NON_CONST_VAL_USED_IN_CONSTANT_EXPRESSION!>"a$i b"<!>,
+    s3 = <!NON_CONST_VAL_USED_IN_CONSTANT_EXPRESSION!>"$i"<!>,
+    s4 = <!NON_CONST_VAL_USED_IN_CONSTANT_EXPRESSION!>"a${i}a$i"<!>
 ) class MyClass
 
 // EXPECTED: @Ann(s1 = "a1", s2 = "a1 b", s3 = "1", s4 = "a1a1")

compiler/testData/diagnostics/tests/annotations/parameters/expressions/stringTemplate.txt

@@ -0,0 +1,23 @@
+package
+
+package test {
+    public val i: kotlin.Int = 1
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ s1: kotlin.String, /*1*/ s2: kotlin.String, /*2*/ s3: kotlin.String, /*3*/ s4: kotlin.String)
+        public final val s1: kotlin.String
+        public final val s2: kotlin.String
+        public final val s3: kotlin.String
+        public final val s4: kotlin.String
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(s1 = "a1", s2 = "a1 b", s3 = "1", s4 = "a1a1") public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/strings.fir.kt

@@ -0,0 +1,9 @@
+package test
+
+annotation class Ann(val s1: String, val s2: String)
+
+val i = 1
+
+@Ann(s1 = "a" + "b", s2 = "a" + "a$i") class MyClass
+
+// EXPECTED: @Ann(s1 = "ab", s2 = "aa1")

compiler/testData/diagnostics/tests/annotations/parameters/expressions/strings.kt

@@ -4,6 +4,6 @@ annotation class Ann(val s1: String, val s2: String)
 
 val i = 1
 
-@Ann(s1 = "a" + "b", s2 = "a" + "a$i") class MyClass
+@Ann(s1 = "a" + "b", s2 = <!NON_CONST_VAL_USED_IN_CONSTANT_EXPRESSION!>"a" + "a$i"<!>) class MyClass
 
 // EXPECTED: @Ann(s1 = "ab", s2 = "aa1")

compiler/testData/diagnostics/tests/annotations/parameters/expressions/strings.txt

@@ -0,0 +1,21 @@
+package
+
+package test {
+    public val i: kotlin.Int = 1
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ s1: kotlin.String, /*1*/ s2: kotlin.String)
+        public final val s1: kotlin.String
+        public final val s2: kotlin.String
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(s1 = "ab", s2 = "aa1") public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/unaryMinus.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package test
 
 annotation class Ann(

compiler/testData/diagnostics/tests/annotations/parameters/expressions/unaryMinus.txt

@@ -0,0 +1,24 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Byte, /*1*/ b2: kotlin.Short, /*2*/ b3: kotlin.Int, /*3*/ b4: kotlin.Long, /*4*/ b5: kotlin.Double, /*5*/ b6: kotlin.Float)
+        public final val b1: kotlin.Byte
+        public final val b2: kotlin.Short
+        public final val b3: kotlin.Int
+        public final val b4: kotlin.Long
+        public final val b5: kotlin.Double
+        public final val b6: kotlin.Float
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = -1.toByte(), b2 = -1.toShort(), b3 = -1, b4 = -1.toLong(), b5 = -1.0.toDouble(), b6 = -1.0.toFloat()) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/expressions/unaryPlus.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package test
 
 annotation class Ann(

compiler/testData/diagnostics/tests/annotations/parameters/expressions/unaryPlus.txt

@@ -0,0 +1,24 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Byte, /*1*/ b2: kotlin.Short, /*2*/ b3: kotlin.Int, /*3*/ b4: kotlin.Long, /*4*/ b5: kotlin.Double, /*5*/ b6: kotlin.Float)
+        public final val b1: kotlin.Byte
+        public final val b2: kotlin.Short
+        public final val b3: kotlin.Int
+        public final val b4: kotlin.Long
+        public final val b5: kotlin.Double
+        public final val b6: kotlin.Float
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = 1.toByte(), b2 = 1.toShort(), b3 = 1, b4 = 1.toLong(), b5 = 1.0.toDouble(), b6 = 1.0.toFloat()) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/float.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package test
 
 annotation class Ann(

compiler/testData/diagnostics/tests/annotations/parameters/float.txt

@@ -0,0 +1,20 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Float, /*1*/ b2: kotlin.Float)
+        public final val b1: kotlin.Float
+        public final val b2: kotlin.Float
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = 1.0.toFloat(), b2 = 1.0.toFloat()) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/int.fir.kt

@@ -0,0 +1,12 @@
+package test
+
+annotation class Ann(
+        val b1: Int,
+        val b2: Int,
+        val b3: Int,
+        val b4: Int
+)
+
+@Ann(1, 1.toInt(), 2147483648.toInt(), <!ARGUMENT_TYPE_MISMATCH!>2147483648<!>) class MyClass
+
+// EXPECTED: @Ann(b1 = 1, b2 = 1, b3 = -2147483648, b4 = 2147483648.toLong())

compiler/testData/diagnostics/tests/annotations/parameters/int.kt

@@ -7,6 +7,6 @@ annotation class Ann(
         val b4: Int
 )
 
-@Ann(1, 1.toInt(), 2147483648.toInt(), 2147483648) class MyClass
+@Ann(1, 1.toInt(), 2147483648.toInt(), <!CONSTANT_EXPECTED_TYPE_MISMATCH!>2147483648<!>) class MyClass
 
 // EXPECTED: @Ann(b1 = 1, b2 = 1, b3 = -2147483648, b4 = 2147483648.toLong())

compiler/testData/diagnostics/tests/annotations/parameters/int.txt

@@ -0,0 +1,22 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Int, /*1*/ b2: kotlin.Int, /*2*/ b3: kotlin.Int, /*3*/ b4: kotlin.Int)
+        public final val b1: kotlin.Int
+        public final val b2: kotlin.Int
+        public final val b3: kotlin.Int
+        public final val b4: kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = 1, b2 = 1, b3 = -2147483648, b4 = 2147483648.toLong()) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/long.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package test
 
 annotation class Ann(

compiler/testData/diagnostics/tests/annotations/parameters/long.txt

@@ -0,0 +1,20 @@
+package
+
+package test {
+
+    public final annotation class Ann : kotlin.Annotation {
+        public constructor Ann(/*0*/ b1: kotlin.Long, /*1*/ b2: kotlin.Long)
+        public final val b1: kotlin.Long
+        public final val b2: kotlin.Long
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+
+    @test.Ann(b1 = 1.toLong(), b2 = 1.toLong()) public final class MyClass {
+        public constructor MyClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}

compiler/testData/diagnostics/tests/annotations/parameters/short.fir.kt

@@ -0,0 +1,12 @@
+package test
+
+annotation class Ann(
+        val b1: Short,
+        val b2: Short,
+        val b3: Short,
+        val b4: Short
+)
+
+@Ann(1, 1.toShort(), 32768.toShort(), <!ARGUMENT_TYPE_MISMATCH!>32768<!>) class MyClass
+
+// EXPECTED: @Ann(b1 = 1.toShort(), b2 = 1.toShort(), b3 = -32768.toShort(), b4 = 32768)

compiler/testData/diagnostics/tests/annotations/parameters/short.kt

@@ -7,6 +7,6 @@ annotation class Ann(
         val b4: Short
 )
 
-@Ann(1, 1.toShort(), 32768.toShort(), 32768) class MyClass
+@Ann(1, 1.toShort(), 32768.toShort(), <!CONSTANT_EXPECTED_TYPE_MISMATCH!>32768<!>) class MyClass
 
 // EXPECTED: @Ann(b1 = 1.toShort(), b2 = 1.toShort(), b3 = -32768.toShort(), b4 = 32768)