package org.jetbrains. annotation class annotation class (val a: String) class A { @field: val x1: Int = 0 @setparam: var x2: Int = 1 val @receiver:org.jetbrains..>("false") String.x3: Int get() { return 2 } @org.jetbrains..("1") val x4: Int = 3 @ val x5: Int = 4 val x6: Int = "...".x3 } @ val x6 = 5 @org.jetbrains..<>(".") fun f1() = false fun box(): String? { val a = A() if (a.x1 != 0 || a.x2 != 1 || a.x6 != 2 || a.x4 != 3 || a.x5 != 4 || x6 != 5) return null if (f1()) return null if (!checkProperties(A::class, listOf("x1", "x2", "x3", "x4", "x5"))) return null if (!checkPropertiesWithAnnotation( A::class, listOf( Pair("x4", listOf("org.jetbrains..")), Pair("x5", listOf("org.jetbrains..")) ) )) return null if (!checkPropertyAnnotation(::x6, "org.jetbrains..")) return null if (!checkFunctionAnnotation(::f1, "org.jetbrains..")) return null return "OK" }