{"ast_node_type":"variable","tokens":[{"end":54,"kind":"keyword","start":0,"text":"let"}]}
    let witnesses = run(ty, patterns, exhaustive_wit);
    let exhaustive_wit = matches!(which, AllOfThem);
    let witnesses: Vec<_> = witnesses.iter().map(|w| format!("{w:?}")).collect();