{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//!"}]}
//! To a first approximation, the algorithm works by exploring all possible values for the type
//!
//! being matched on, and determining which arm(s) catch which value. To make this tractable we