{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"//!"}]}
//!     anything about how the match executes, i.e. whether it is useful/not redundant.
//! - for each subpattern (taking into account or-patterns), whether removing it would change
//!