Closed
Description
The Share kind is a type bound for types that can be safely shared across threads. This is necessary to support fork/join operations while capturing an environment safely. Nominating.
Migration Plan
- Add Share kind and replace usages of Freeze with Share in bounds.
- Keep the NonFreeze markers and rules.
- Work on Introduce a
Unsafe<T>
type to be used as the basis forCell
,RefCell
,Atomic
, etc and removeFreeze
#12577- Remove markers
- Forbid values with unsafe interiors in static items
- Remove Freeze