{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":".struct_span_fatal("}]}
                .struct_span_fatal(
            tcx.dcx()
                    predicates_added.iter().map(|id| tcx.def_span(*id)).collect::<Vec<_>>(),