{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"ty::Binder::dummy(ty::TraitRef::new_from_args("}]}
            ty::Binder::dummy(ty::TraitRef::new_from_args(
                self.tcx,