Re:Idiomatic Monads in Rust
by eridius on Thursday April 04, 2019 @08:46PM
(#19578581)
Or just skip the trait and require there to be nothing live on the stack that conforms to Drop after a `become`.
In fact, the main reason to have a keyword like `become` is to signal to the compiler to do this kind of analysis, because it's so easy to accidentally break the ability to do TCO when you can't lean on a GC to clean things up later.
In fact, the main reason to have a keyword like `become` is to signal to the compiler to do this kind of analysis, because it's so easy to accidentally break the ability to do TCO when you can't lean on a GC to clean things up later.