{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"ty::TraitPredicate"}]}
                    ty::TraitPredicate { trait_ref, polarity: ty::PredicatePolarity::Positive };
                let trait_pred =
                let mut obligations = traits::wf::trait_obligations(