> you can't pass values into resume and get them out from the yield statement in the coroutine I think that the linked comment is out of date, and that this is

> you can't pass values into resume and get them out from the yield statement in the coroutine I think that the linked comment is out of date, and that this is supported now (hard to tell because it hasn't been close enough to stabilization to be properly documented): https://github.com/rust-lang/rust/pull/68524 https://github.com/rust-lang/rust/pull/68524 As for Polonius changing the underlying mental model, I think this is a natural progression. Rust 1.0 tried to present a simple lexical model of borrowing, and then enough people complained that it has long since replaced the simple model with non-lexical lifetimes in order to trade simplicity for "do what I mean". And since it's not allowed to break any old code, if you want to continue treating borrowing like it has the previous model then that shouldn't present any difficulties.