{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"}"}]}
        } else {
            place.ty(self.elaborator.body(), self.tcx()).ty
            // We don't have a slice with all the locals, since some are in the patch.