{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"self.tcx().dcx().span_delayed_bug("}]}
                        self.tcx().dcx().span_delayed_bug(
                        self.tcx(),
                            self.elaborator.body().span,