{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"&args[trait_generics.count()..],"}]}
            &args[trait_generics.count()..],
            ty::TraitRef::new_from_args(self, trait_def_id, args.truncate_to(self, trait_generics)),
        )