Code

Unsafe fields#3458

Code

Open

jhpratt wants to merge 29 commits intorust-lang:masterrust-lang/rfcs:masterfrom

jhpratt:unsafe-fieldsjhpratt/rfcs:unsafe-fieldsCopy head branch name to clipboard

Commits

Commits on Jul 13, 2023

• Add unsafe fields RFC

  jhpratt

  committed
  95dd295

  Copy full SHA for 95dd295

Commits on Jan 5, 2025

• RFC3458: Update Summary

  Show description for fa712be
  jswrenn

  authored
  fa712be

  Copy full SHA for fa712be

• RFC3458: Update Motivation

  Show description for 46766ed
  jswrenn

  authored
  46766ed

  Copy full SHA for 46766ed

• RFC3458: Introduce 'Rationale and Alternatives'

  Show description for bb6e76a
  jswrenn

  authored
  bb6e76a

  Copy full SHA for bb6e76a

Commits on Jan 6, 2025

• RFC3458: Update Guide-Level Explanation

  Show description for aafd5f4
  jswrenn

  authored
  aafd5f4

  Copy full SHA for aafd5f4

Commits on Jan 8, 2025

• RFC3458: Require trivially droppable fields

  jswrenn

  committed
  ed5ceb4

  Copy full SHA for ed5ceb4

• RFC3458: `Copy` is conditionally unsafe to implement

  jswrenn

  committed
  3f851ae

  Copy full SHA for 3f851ae

Commits on Jan 9, 2025

• RFC3458: Update Reference-Level Explanation

  Show description for 9908419
  jswrenn

  committed
  9908419

  Copy full SHA for 9908419

• RFC3458: Alarm fatigue and its alternatives

  jswrenn

  committed
  247bc41

  Copy full SHA for 247bc41

Commits on Feb 25, 2025

• RFC3458: Reduce scope to additive invariants

  Show description for 2d7a512
  jswrenn

  committed
  2d7a512

  Copy full SHA for 2d7a512

• RFC3458: Add depth to 'Safe Unions' future possibility

  jswrenn

  committed
  000075f

  Copy full SHA for 000075f

Commits on Feb 26, 2025

• RFC3458: Allow subtractive invariants by constraining safety hygiene

  Show description for 1d0d8be
  jswrenn

  committed
  1d0d8be

  Copy full SHA for 1d0d8be

• RFC3458: Clarify that language safety invariants must never be violated

  Show description for e8aebe2
  jswrenn

  committed
  e8aebe2

  Copy full SHA for e8aebe2

• RFC3458: Clarify that terminology used in RFC is unresolved.

  Show description for 9521d12
  jswrenn

  committed
  9521d12

  Copy full SHA for 9521d12

Commits on Feb 27, 2025

• RFC3458: Fix typos

  Show description for 27628e0
  jswrenn

  committed
  27628e0

  Copy full SHA for 27628e0

Commits on Feb 28, 2025

• RFC3458: Fields must be soundly droppable before being dropped

  Show description for f04701b
  jswrenn

  committed
  f04701b

  Copy full SHA for f04701b

Commits on Apr 2, 2025

• RFC3458: Add complete, realistic example

  jswrenn

  committed
  ed920e9

  Copy full SHA for ed920e9

• RFC3458: Document why field copies and moves require `unsafe`

  Show description for cf0516b
  jswrenn

  committed
  cf0516b

  Copy full SHA for cf0516b

Commits on Apr 11, 2025

• RFC3458: Explore 'Wrapper Type' and 'More Syntactic Granularity' alternatives.

  jswrenn

  committed
  aa0c333

  Copy full SHA for aa0c333

• RFC3458: Tweak `UniqueArc::arc` invariant.

  Show description for 322c4a8
  jswrenn

  committed
  322c4a8

  Copy full SHA for 322c4a8

• RFC3458: Tweak `Sync` impl for `UniqueArc`

  Show description for a5cc19f
  jswrenn

  committed
  a5cc19f

  Copy full SHA for a5cc19f

Commits on Apr 15, 2025

• RFC3458: Remove problematic `Sync` impl

  Show description for b229496
  jswrenn

  committed
  b229496

  Copy full SHA for b229496

• RFC3458: Make `Unsafe::new` safe

  Show description for f4426ea
  jswrenn

  committed
  f4426ea

  Copy full SHA for f4426ea

• RFC3458: Document 'Syntactic Knobs and Wrapper Types' as future possibility

  jswrenn

  committed
  f4e85fb

  Copy full SHA for f4e85fb

Commits on Apr 18, 2025

• RFC3458: Clarify that syntactic knob possibility is not an easy migration.

  jswrenn

  committed
  94c173a

  Copy full SHA for 94c173a

• RFC3458: Document trivial proof drawback's interaction with borrow checker.

  Show description for 462cee4
  jswrenn

  committed
  462cee4

  Copy full SHA for 462cee4

• RFC3458: Document alt of `Mixing Syntactic Knobs with a Wrapper Type`

  jswrenn

  committed
  d1d7388

  Copy full SHA for d1d7388

• RFC3458: Add links to RFC PR and Rust tracking issue

  jswrenn

  committed
  f5a82f8

  Copy full SHA for f5a82f8

• RFC3458: Typo fix

  Show description for d4cfd14
  jswrenn

  committed
  d4cfd14

  Copy full SHA for d4cfd14