Unsafe fields#3458

Merged

traviscross merged 43 commits intorust-lang:masterfrom

jhpratt:unsafe-fields

Feb 1, 2026

Commits on Jan 27, 2026

Add unsafe fields RFC

jhpratt
authored and
traviscross
committed
RFC3458: Update Summary

jswrenn
authored and
traviscross
committed
RFC3458: Update Motivation

jswrenn
authored and
traviscross
committed
RFC3458: Introduce 'Rationale and Alternatives'

jswrenn
authored and
traviscross
committed
RFC3458: Update Guide-Level Explanation

jswrenn
authored and
traviscross
committed
RFC3458: Require trivially droppable fields

jswrenn
authored and
traviscross
committed
RFC3458: `Copy` is conditionally unsafe to implement

jswrenn
authored and
traviscross
committed
RFC3458: Update Reference-Level Explanation

jswrenn
authored and
traviscross
committed
RFC3458: Alarm fatigue and its alternatives

jswrenn
authored and
traviscross
committed
RFC3458: Reduce scope to additive invariants

jswrenn
authored and
traviscross
committed
RFC3458: Add depth to 'Safe Unions' future possibility

jswrenn
authored and
traviscross
committed
RFC3458: Allow subtractive invariants by constraining safety hygiene

jswrenn
authored and
traviscross
committed
RFC3458: Clarify that language safety invariants must never be violated

jswrenn
authored and
traviscross
committed
RFC3458: Clarify that terminology used in RFC is unresolved.

jswrenn
authored and
traviscross
committed
RFC3458: Fix typos

jswrenn
authored and
traviscross
committed
RFC3458: Fields must be soundly droppable before being dropped

jswrenn
authored and
traviscross
committed
RFC3458: Add complete, realistic example

jswrenn
authored and
traviscross
committed
RFC3458: Document why field copies and moves require `unsafe`

jswrenn
authored and
traviscross
committed
RFC3458: Explore 'Wrapper Type' and 'More Syntactic Granularity' alternatives.

jswrenn
authored and
traviscross
committed
RFC3458: Tweak `UniqueArc::arc` invariant.

jswrenn
authored and
traviscross
committed
RFC3458: Tweak `Sync` impl for `UniqueArc`

jswrenn
authored and
traviscross
committed
RFC3458: Remove problematic `Sync` impl

jswrenn
authored and
traviscross
committed
RFC3458: Make `Unsafe::new` safe

jswrenn
authored and
traviscross
committed
RFC3458: Document 'Syntactic Knobs and Wrapper Types' as future possibility

jswrenn
authored and
traviscross
committed
RFC3458: Clarify that syntactic knob possibility is not an easy migration.

jswrenn
authored and
traviscross
committed
RFC3458: Document trivial proof drawback's interaction with borrow checker.

jswrenn
authored and
traviscross
committed
RFC3458: Document alt of `Mixing Syntactic Knobs with a Wrapper Type`

jswrenn
authored and
traviscross
committed
RFC3458: Add links to RFC PR and Rust tracking issue

jswrenn
authored and
traviscross
committed
RFC3458: Typo fix

jswrenn
authored and
traviscross
committed
RFC3458: Clarify 'Syntactic Knobs and Wrapper Types' possibility

jswrenn
authored and
traviscross
committed
RFC3458: Clarify semantics in Reference-level explanation

jswrenn
authored and
traviscross
committed
RFC3458: Move RFC to `3458-unsafe-fields.md`

jswrenn
authored and
traviscross
committed
Clean up whitespace
traviscross
committed
Fix typos in function name and struct name
traviscross
committed
Fix whitespace and clarify prose in example
traviscross
committed
Fix grammar issues
traviscross
committed
Fix additional grammar and consistency issues
traviscross
committed
Fix hyphenation per AE conventions
traviscross
committed
Use "that" for restrictive clauses
traviscross
committed
Replace "upon" with "on"
traviscross
committed
Replace "presently" with "currently"
traviscross
committed
Fix miscellaneous grammar issues
traviscross
committed
Fix heading levels
traviscross
committed