{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"self.cx.dcx().span_bug("}]}
                        self.cx.dcx().span_bug(
                    if force {
                            invoc.span(),