{"ast_node_type":"struct","tokens":[{"end":32,"kind":"keyword","start":0,"text":"struct"}]}
    struct HighestVarInClauses {
fn highest_var_in_clauses<'tcx>(c: ty::Clauses<'tcx>) -> usize {
        max_var: usize,