Skip to content

Add Share kind #11781

Closed
Closed
@brson

Description

@brson

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

  1. Add Share kind and replace usages of Freeze with Share in bounds.
    • Keep the NonFreeze markers and rules.
  2. Work on Introduce a Unsafe<T> type to be used as the basis for Cell, RefCell, Atomic, etc and remove Freeze #12577
    • Remove markers
    • Forbid values with unsafe interiors in static items
  3. Remove Freeze

Metadata

Metadata

Assignees

No one assigned

    Labels

    E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.P-mediumMedium priority

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions