From dbfcc65c6059a9355789ca048a398c6dd3ab861b Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 19 Feb 2018 07:55:43 -0800 Subject: [PATCH] fix(library/compiler/erase_irrelevant): erase_type --- src/library/compiler/erase_irrelevant.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/compiler/erase_irrelevant.cpp b/src/library/compiler/erase_irrelevant.cpp index c5ca6c9c31..a035445aba 100644 --- a/src/library/compiler/erase_irrelevant.cpp +++ b/src/library/compiler/erase_irrelevant.cpp @@ -93,7 +93,7 @@ class erase_irrelevant_fn : public compiler_step_visitor { } expr erase_type(expr const & e) { - if (closed(e)) + if (closed(e) && !has_local(e)) return e; // keep closed types for runtime debugger else return *g_neutral_expr;