{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"span_mirbug!(self,"}]}
                    span_mirbug!(self, term, "bad Assert ({:?}, not bool", cond_ty);
                if cond_ty != tcx.types.bool {
                }