{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"user_self_ty"}]}
                    user_self_ty = user_args.user_self_ty;
                    let user_args = Self::user_args_for_adt(ty);
                    (new_res, Some(user_args.args))