FILE: [ResolvedTo(BODY_RESOLVE)] topLevelDestructuringWithAnnotation.kt
