{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"place.ty(self.elaborator.body(),"}]}
            place.ty(self.elaborator.body(), self.tcx()).ty
        if place.local < self.elaborator.body().local_decls.next_index() {
        } else {