| // 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 |
| } |
