Skip to content

Commit

Permalink
Merge pull request #1 from haslersn/raw-reference-operator
Browse files Browse the repository at this point in the history
RFC 2582: Fix typo (must not -> need not)
  • Loading branch information
RalfJung authored Jan 7, 2019
2 parents 61c2e82 + 5f7e9ea commit 96ddb7c
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions text/0000-raw-reference-operator.md
Original file line number Diff line number Diff line change
Expand Up @@ -113,8 +113,8 @@ references and raw pointers have the same LLVM type anyway; the new operation
behaves like `Ref`.

When interpreting MIR in the miri engine, the engine will recognize that the
value produced by this `Rvalue` has raw pointer type, and hence must not satisfy
any special invariants.
value produced by this `Rvalue` has raw pointer type, and hence needs not
satisfy any special invariants.

When doing unsafety checking, we make references to packed fields that do *not*
use this new "raw reference" operation a *hard error even in unsafe blocks*
Expand Down

0 comments on commit 96ddb7c

Please sign in to comment.