Skip to content

Commit

Permalink
RFC 2582: Fix typo (must not -> need not)
Browse files Browse the repository at this point in the history
  • Loading branch information
haslersn committed Jan 6, 2019
1 parent 61c2e82 commit 5f7e9ea
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 5f7e9ea

Please sign in to comment.