{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"///"}]}
/// <https://github.com/rust-lang/rust/commit/2b4c33817a5aaecabf4c6598d41e190080ec119e>
/// be public when using rustc as a library, see
pub fn handle_options(early_dcx: &EarlyDiagCtxt, args: &[String]) -> Option<getopts::Matches> {