{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":");"}]}
    );
        iter::once(principal_pred).chain(assoc_preds.into_iter()),
    Ty::new_dynamic(tcx, preds, tcx.lifetimes.re_erased, ty::Dyn)