You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Design meeting: Solution for NoCell and no_std #324
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.
We scheduled for 2025-07-23 to see about unblocking NoCell by coming up with a solution to the problem of how to express the propagation of auto traits for owned types with PhantomData<_> in no_std cases where Box<T> isn't available.
We scheduled for 2025-07-23 to see about unblocking NoCell by coming up with a solution to the problem of how to express the propagation of auto traits for owned types with PhantomData<_> in no_std cases where Box<T> isn't available.
Apparently it got re-scheduled at some point. Would be nice to get such updates in the issue since that's where people interested in the meeting are most likely to see them :)
No project board actions generate any notifications, AFAIK. The only reason I knew about this date is that you actually wrote a message about it above.
Activity
traviscross commentedon Jun 4, 2025
We scheduled for 2025-07-23 to see about unblocking
NoCellby coming up with a solution to the problem of how to express the propagation of auto traits for owned types withPhantomData<_>inno_stdcases whereBox<T>isn't available.RalfJung commentedon Jul 23, 2025
Apparently it got re-scheduled at some point. Would be nice to get such updates in the issue since that's where people interested in the meeting are most likely to see them :)
traviscross commentedon Jul 23, 2025
Yes, apparently it doesn't ping subscribed people when updating the date in the project board.
RalfJung commentedon Jul 23, 2025
No project board actions generate any notifications, AFAIK. The only reason I knew about this date is that you actually wrote a message about it above.