diff --git a/tests/lean/run/1547.lean b/tests/lean/run/1547.lean
new file mode 100644
index 0000000000..1f784d4793
--- /dev/null
+++ b/tests/lean/run/1547.lean
@@ -0,0 +1,4 @@
+def foo (x : {_ : Unit} → StateM Nat Nat) : Nat :=
+  (@x () 0).1
+
+def bar := foo (return 42)