{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"chalk_ir::VariableKind::Ty(_)"}]}
            chalk_ir::VariableKind::Ty(_) => table.new_type_var().cast(Interner),
        tys.binders.iter(Interner).map(|it| match &it.kind {
            // FIXME: maybe wrong?