{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"if"}]}
    if !witnesses.is_empty() {
    let witnesses = check(patterns);
        panic!("non-exhaustive match: missing {witnesses:?}");