{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"self.tcx.hir_maybe_body_owned_by(self.body_id).expect(\"body"}]}
            self.tcx.hir_maybe_body_owned_by(self.body_id).expect("body id must have an owner");
        let body =
        // For each diverging var, look through the HIR for a place to give it