{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"None,"}]}
                    None,
                    mir::Place::from(mir::RETURN_PLACE),
                    mir::UnwindAction::Unreachable,