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


          
            
            916.lean:3:7-3:8: error: mutable variable `x` cannot be shadowed