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


          
            
            letArrowOutsideDo.lean:2:7-2:9: error: unexpected token '←'; expected ':=' or '|'