Bounds for RPIT/RPITIT/async fn
tmandry opened this issue · comments
Summary
Please describe your meeting topic here. It doesn't have to be very long, but
it's always good to try and identify a concrete question to be answered or
narrow topic for discussion. Nobody likes a rambly meeting.
We need a way to specify bounds such as Send on the return type of functions that return impl Trait. This problem comes up in async (-> impl Future) but also traits with important subtraits (-> impl Iterator).
Background reading
Include any links to material that folks ought to try to read before-hand.
https://blog.rust-lang.org/2023/12/21/async-fn-rpit-in-traits.html
About this issue
This issue corresponds to a lang-team design meeting proposal. It corresponds to a possible topic of discussion that may be scheduled for deeper discussion during one of our design meetings.