{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"None,"}]}
                    None,
                    source.map(|src| src.record_field_list().map(ast::FieldList::RecordFieldList)),
                );