{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
            // If the error was caused by a broken pipe then this is not a bug.
            let _guard = io::stderr().lock();
            // Write the error and return immediately. See #98700.