{"ast_node_type":"function","tokens":[{"end":63,"kind":"keyword","start":0,"text":"fn"}]}
fn assert_non_exhaustive(patterns: Vec<DeconstructedPat<Cx>>) {
#[track_caller]
    let witnesses = check(patterns);