{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":")"}]}
    ) -> ErrorGuaranteed {
        regular_traits: &Vec<(ty::PolyTraitPredicate<'tcx>, SmallVec<[Span; 1]>)>,
        // we use the last span to point at the traits themselves,