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


          
            
            coeIssue2.lean:29:0-29:5: warning: using 'exit' to interrupt Lean