{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"chalk_ir::VariableKind::Ty(tk)"}]}
                        chalk_ir::VariableKind::Ty(tk) => var.to_ty(Interner, tk).cast(Interner),
                    table.resolve_with_fallback(inputs, &|var, kind, _, _| match kind {
                        chalk_ir::VariableKind::Lifetime => {