{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"if"}]}
            if root_predicates.insert(root_predicate) {
            let root_predicate = error.root_obligation.predicate;
                let item_span = tcx.def_span(adt_def_id);