{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"vars.iter(Interner).position(|v|"}]}
        vars.iter(Interner).position(|v| match v.interned() {
    let find_var = |iv| {
            chalk_ir::GenericArgData::Ty(ty) => ty.inference_var(Interner),