{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"///"}]}
/// (See <https://github.com/rust-lang/rust/pull/124217>.)
/// that will be needed for improved branch coverage in the future.
#[derive(Debug)]