{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"c.visit_with(&mut"}]}
    c.visit_with(&mut visitor);
    let mut visitor = HighestVarInClauses { max_var: 0, current_index: ty::INNERMOST };
    visitor.max_var