{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"///"}]}
/// (exhaustiveness is NP-complete). The core difference is that we treat sub-columns separately.
/// the depth of patterns, whereas `compute_exhaustiveness_and_usefulness` is worst-case exponential
///