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