Meeting Proposal: Generator optimizations, specifically size optimizations

[JakobDegen]

Summary

rustc often generates unnecessarily big futures. Ideally, we would like to fix this by being able to optimize pre-generator lowering async bodies almost as-if they were any other body. However, that presents some soundness challenges, see here for some discussion. There is a proposal for how to allow these optimizations.

How do we feel about this proposal? How confident are we that we will be able to accept this, or something with a substantially similar effect? Most importantly: What optimizations can we allow rustc to do when?

Reading

Nothing besides the links above. I can prepare a document for the meetin

Comment policy

These issues are meant to be used as an "announcements channel" regarding the proposal, and not as a
place to discuss the technical details. Feel free to subscribe to updates. We'll post comments when
reviewing the proposal in meetings or making a scheduling decision. In the meantime, if you have
questions or ideas, ping the proposers on Zulip (or elsewhere).

[chorman0773]

This meeting was held on 2023-05-02. Should this be closed for similar reasons as #5?