{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"///"}]}
/// This recursively computes witnesses of the non-exhaustiveness of `matrix` (if any). Also tracks
///
/// usefulness of each row in the matrix (in `row.useful`). We track usefulness of subpatterns in