annotation class MyA(val i: Int) @MyA(1) fun foo() {} Resolved call: Resulting descriptor: constructor MyA(i: Int) defined in MyA Explicit receiver kind = NO_EXPLICIT_RECEIVER Dispatch receiver = NO_RECEIVER Extension receiver = NO_RECEIVER Value arguments mapping: SUCCESS i : Int = 1