{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//!"}]}
//! unreachable yet not redundant. This is why we lint on redundant arms rather than unreachable
//! arm, hence we won't tell the user to remove the `_a` arm. In other words, the `_a` arm is
//! arms, despite the fact that the lint says "unreachable".