{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"trait_ref:"}]}
    trait_ref: ty::TraitRef<I>,
    infcx: &Infcx,
    mut lazily_normalize_ty: impl FnMut(I::Ty) -> Result<I::Ty, E>,