{"ast_node_type":"variable","tokens":[{"end":36,"kind":"keyword","start":0,"text":"let"}]}
    let witnesses = check(patterns);
fn assert_non_exhaustive(patterns: Vec<DeconstructedPat<Cx>>) {
    assert!(!witnesses.is_empty())