{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"chalk_ir::VariableKind::Const(ty)"}]}
            chalk_ir::VariableKind::Const(ty) => table.new_const_var(ty.clone()).cast(Interner),
            chalk_ir::VariableKind::Lifetime => table.new_type_var().cast(Interner),
        }),