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


          
            
            fun.lean:2:23-2:26: error: unexpected type ascription