{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"for"}]}
        for elem in mir_place.projection.iter() {
        // Using `try_fold` turned out to be bad for performance, hence the loop.
            place = self.project(&place, elem)?