fun main(args: Array<@receiver:Anno String>) {} annotation class Anno fun Int.train(args: Array<@receiver:Anno String>) {} fun Int.plane(@receiver:Anno args: Array) {} fun vein(args: Array<@file:Anno String>) {} fun rain(args: Array<@Anno String>) {} fun @Anno Int.strain() {} fun @receiver:Anno Int.drain() {} fun @file:Anno Int.brain() {} fun (@Anno Int).crane() {} @Target(AnnotationTarget.FILE) annotation class Anno2 fun @receiver:Anno2 Int.pain() {}