tests/lean/450.lean - third_party/github.com/leanprover/lean4 - Git at Google


            
            def ex : Nat :=

            
              let x := _

            
              42