{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"//!"}]}
//!
//!     anything about how the match executes, i.e. whether it is useful/not redundant.
//! To a first approximation, the algorithm works by exploring all possible values for the type