{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"chalk_ir::VariableKind::Lifetime"}]}
                        chalk_ir::VariableKind::Lifetime => {
                        chalk_ir::VariableKind::Ty(tk) => var.to_ty(Interner, tk).cast(Interner),
                            var.to_lifetime(Interner).cast(Interner)