From 5f7e9eaf263df5f7d98be9a16d5879742405715e Mon Sep 17 00:00:00 2001 From: haslersn Date: Sun, 6 Jan 2019 17:28:36 +0100 Subject: [PATCH] RFC 2582: Fix typo (must not -> need not) --- text/0000-raw-reference-operator.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/text/0000-raw-reference-operator.md b/text/0000-raw-reference-operator.md index 8b1118d9bf1..93d03855188 100644 --- a/text/0000-raw-reference-operator.md +++ b/text/0000-raw-reference-operator.md @@ -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*