{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"args,"}]}
                args,
            (_, ty::Adt(adt, args)) => UserArgs {
                user_self_ty: Some(UserSelfTy { impl_def_id: adt.did(), self_ty: ty.raw }),