{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"ty::Binder::dummy(ty::TraitRef::new(self.infcx.tcx,"}]}
                ty::Binder::dummy(ty::TraitRef::new(self.infcx.tcx, trait_def_id, [ty]));
            let trait_ref =
            let obligation = Obligation::new(