| // SKIP_JDK6 | |
| // TARGET_BACKEND: JVM | |
| // FULL_JDK | |
| // WITH_REFLECT | |
| package test | |
| annotation class Anno(val value: String) | |
| interface Test { | |
| fun foo(@Anno("OK") a: String) = "123" | |
| } | |
| fun box(): String { | |
| val testMethod = Class.forName("test.Test\$DefaultImpls").declaredMethods.single() | |
| //return (::test.parameters.single().annotations.single() as Simple).value | |
| val receiverAnnotations = (testMethod.parameters[0]).annotations | |
| if (receiverAnnotations.isNotEmpty()) return "fail: receiver parameter should not have any annotations, but: ${receiverAnnotations.joinToString()}" | |
| val value2 = ((testMethod.parameters[1]).annotations.single() as Anno).value | |
| return value2 | |
| } |