On Sunday, 10 July 2016 at 17:32:32 UTC, Dietrich Daroch wrote: > It might be interesting to have proof that the stack is bounded > (and won't overflow). Yes, a stack depth guarantee would be useful for D fibers.