{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
/// Read-only requests are wrapped into `catch_unwind` -- they don't modify the
///
/// state, so it's OK to recover from their failures.