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.
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.
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 returnimpl 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.