{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"args:"}]}
                                        args: None,
                                        ident: type_param.ident,
                                        id: ast::DUMMY_NODE_ID,