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


          
            
            partialVariable.lean:1:8-1:10: error: unexpected token ':'; expected '(', '[', '{' or '⦃'