tests/lean/1845.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


            
            1

            
            1845.lean:13:66-13:71: error: cannot lift `(<- ...)` over inconsistent syntax variants, consider lifting out the binding manually
	1
	1845.lean:13:66-13:71: error: cannot lift `(<- ...)` over inconsistent syntax variants, consider lifting out the binding manually