{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"args:"}]}
        args: ty::GenericArgsRef<'tcx>,
        def_id: DefId,
    ) -> (ty::TraitRef<'tcx>, &'tcx [ty::GenericArg<'tcx>]) {