{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"//!"}]}
//!  │ │ │ │
//!  │ │ │ │   3. `[_]`    // now exploring irrelevant cases
//!  │ │ │ │ The current case is irrelevant for all rows: we backtrack immediately.