// LOOK_UP_FOR_ELEMENT_OF_TYPE: org.jetbrains.kotlin.psi.KtValueArgumentList public annotation class Annotation(val name: String) @Annotation("y") fun x() { }