FILE: [ResolvedTo(BODY_RESOLVE)] topLevelDestructuringWithoutInitializer.kt
