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


          
            
            assertAfterBug.lean:56:8-56:24: warning: declaration uses `sorry`