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


          
            
            277a.lean:4:7-4:15: error: unknown identifier 'nonexistent'