{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"///"}]}
/// reporting. This has similar invariants as `Matrix` does.
/// Represents a set of pattern-tuples that are witnesses of non-exhaustiveness for error
///