{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//!"}]}
//! This is also enough to compute exhaustiveness: a match is exhaustive iff the wildcard `_`
//!
//! pattern is _not_ useful w.r.t. the patterns in the match. The values returned by `usefulness`