From 0193ead59685197e29c00eda2227eedbbff8ddab Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 12 Nov 2019 13:59:24 -0800
Subject: [PATCH] test: add corner case

---
 tests/lean/run/expr1.lean | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tests/lean/run/expr1.lean b/tests/lean/run/expr1.lean
index 0a792fb661..efaae84793 100644
--- a/tests/lean/run/expr1.lean
+++ b/tests/lean/run/expr1.lean
@@ -87,6 +87,8 @@ do let f   := Expr.const `f [];
    IO.println t;
    unless (t.etaExpanded? == some (Expr.app f a)) $ throw "failed-8";
    IO.println t.etaExpanded?;
+   let t   := Expr.app f a;
+   unless (t.etaExpanded? == some (Expr.app f a)) $ throw "failed-9";
    pure ()
 
 #eval tst5