{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"#[derive(Debug)]"}]}
#[derive(Debug)]
/// column, which contains the patterns that are missing for the match to be exhaustive.
struct WitnessMatrix<Cx: PatCx>(Vec<WitnessStack<Cx>>);