This thread is intended for discussion of what the lang team will discuss in their proactive weeks. Please feel free to float ideas, I will try to keep this top-post updated with the calendar and decisions. Where applicable, I will make a link to the thread where we summarize and continue the conversation.
I don’t think we’re ready to talk about async/await in general, but immovable types would be good to cover at some point.
That said, it’s probably worth focusing primarily on near-term ergonomics improvements, to make sure we’re making steady progress toward our roadmap (it may be that immoveable types are on that list, depending on how things shake out). Here are some ideas in that direction:
The overall coercion story (e.g. applying to functions, improving story around generics)
Making Copy types more ergonomic (by making references to them less significant, e.g. auto-deref)
Implied bounds (not sure offhand what the current blockers are)
Good point, it's probably good to keep our "eye on the ball" in that respect. Of that list, I think that reviewing coercions would make a lot of sense. I was going to volunteer to lead this, but then I remembered that I'm not available next Thursday anyhow (unless we wanted to move the meeting to a different day).
That said, the reason I was thinking about coercions:
We could review and discuss CoerceUnsize, which is one of those things in stabilization limbo
There are a number of ergonomic initiatives affected by it: