From dae30a4ea6f5ae87a082a8cc2fe73d962a841764 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 16 Aug 2019 09:46:05 -0700 Subject: [PATCH] chore(library/compiler/specialize): remove broken assertions --- src/library/compiler/specialize.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/compiler/specialize.cpp b/src/library/compiler/specialize.cpp index dfbbd637bc..aaadb70fae 100644 --- a/src/library/compiler/specialize.cpp +++ b/src/library/compiler/specialize.cpp @@ -495,7 +495,7 @@ class specialize_fn { /* Remark: we must not lambda abstract join points. There is no risk of work duplication in this case, only code duplication. */ bool is_jp = is_join_point_name(decl.get_user_name()); - lean_assert(!v || !is_irrelevant_type(m_st, m_lctx, decl.get_type())); + // lean_assert(!v || !is_irrelevant_type(m_st, m_lctx, decl.get_type())); if (m_visited_not_in_binder.contains(x_name)) { /* If `x` was already visited in a context outside of a binder, then it is already in `m_ctx.m_vars`.