test: test for #1267

2022-06-29 15:40:13 -07:00 · 2022-06-29 15:40:13 -07:00 · d4eed2e490
commit d4eed2e490
parent e8891986f2
1 changed files with 13 additions and 0 deletions
--- a/tests/lean/run/1267.lean
+++ 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