{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"(_,"}]}
            (_, ty::Adt(adt, args)) => UserArgs {
            (ty::Adt(_, args), _) => UserArgs { args, user_self_ty: None },
                args,