Stack overflow when running a test with many `assertTrue`s combined

The following code produces java.lang.StackOverflowError when you run the test.

object Test extends DefaultRunnableSpec {
  def spec = suite("Test")(
    test("1") {
      val asserts = List.fill(10000)(assertTrue(true))
      asserts.reduce(_ && _)
    }
  )
}

java.lang.StackOverflowError
	at zio.test.TestArrow$.$anonfun$run$1(TestArrow.scala:101)
	at scala.util.Try$.apply(Try.scala:210)
	at zio.test.TestArrow$.attempt(TestArrow.scala:94)
	at zio.test.TestArrow$.run(TestArrow.scala:100)
	at zio.test.TestArrow$.$anonfun$run$1(TestArrow.scala:113)
	at scala.util.Try$.apply(Try.scala:210)
	at zio.test.TestArrow$.attempt(TestArrow.scala:94)
	at zio.test.TestArrow$.run(TestArrow.scala:100)
...

Happens on both ZIO 1.0.14 and 2.0.0-RC6 (with DefaultRunnableSpec -> ZIOSpecDefault).

[emilhotkowski]

Because of operators like And and Or this function runs DFS on graph created by TestArrow in pessimistic case. The only way to make recursive DFS stack safe is to manage stack by yourself AFAIK. If this was up for grabs I’d be happy to help 😃

[emilhotkowski]

@kitlangton is this still relavent? I didn’t get any answer last time. I think we could use trampolining, either with ZIO object or TailRec from standard Scala.