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



            
            Stack overflow detected. Aborting.