{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"if"}]}
    if tycx.refutable && report.non_exhaustiveness_witnesses.is_empty() {
    // `if let`s. Only run if the match is exhaustive otherwise the error is redundant.
        let pat_column = PatternColumn::new(arms);