diff --git a/tests/lean/run/1267.lean b/tests/lean/run/1267.lean
new file mode 100644
index 0000000000..2f0730174e
--- /dev/null
+++ b/tests/lean/run/1267.lean
@@ -0,0 +1,13 @@
+example : 1 = 2 := calc
+  _ = _ := sorry
+
+example : 1 = 2 :=
+  calc
+  _ = _ := sorry
+
+example : 1 = 2 := by calc
+  _ = _ := sorry
+
+example : 1 = 2 := by
+  calc
+  _ = _ := sorry