Join GitHub today
Meeting proposal info
About this issue
These issues are meant to be used as an "announcements channel"
We decided to schedule this meeting for Oct 11 -- though since @Zoxc wasn't at the meeting, that was only tentative.
We also discussed how to help focus and guide the meeting agenda. The plan is for @pnkfelix to touch base with @Zoxc and to try and pick one specific PR or proposal to discuss. @pnkfelix can try to understand what is being proposed before-hand so that we can discuss it more as a group. Ideally, we would have pre-prepared a document (e.g., on hackmd) that documents the design and which can be later converted into a rustc-guide chapter. We should also aim, in the meeting, to talk about the downsides and whether this PR is a reasonable end-state or what kind of follow-up work we would want to do before we are comfortable leaving things as they are.