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