fun @ReceiverAnnotation @ReceiverTypeAnnotation kotlin.Int.foo()

val @ReceiverAnnotation @ReceiverTypeAnnotation kotlin.Long.prop: kotlin.Boolean

annotation class ReceiverAnnotation

@kotlin.annotation.Target(allowedTargets = [kotlin.annotation.AnnotationTarget.TYPE])
annotation class ReceiverTypeAnnotation