{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"UserArgs"}]}
                        UserArgs {
                        const_param.def_id,
                            args: self.universal_regions.defining_ty.args(),