tests/elab/1267.lean - third_party/github.com/leanprover/lean4 - Git at Google


            
            example : 1 = 2 := calc

            
              _ = _ := sorry


            example : 1 = 2 :=

            
              calc

            
              _ = _ := sorry


            example : 1 = 2 := by calc

            
              _ = _ := sorry


            example : 1 = 2 := by

            
              calc

            
              _ = _ := sorry
	example : 1 = 2 := calc
	_ = _ := sorry

	example : 1 = 2 :=
	calc
	_ = _ := sorry

	example : 1 = 2 := by calc
	_ = _ := sorry

	example : 1 = 2 := by
	calc
	_ = _ := sorry