// LOOK_UP_FOR_ELEMENT_OF_TYPE: KtAnnotationEntry @Target(AnnotationTarget.TYPE) annotation class Anno(val s: String) interface One interface Two val T.foo where T : One, T : @Anno("str") Two get() = this