Merge pull request #1715 from RalfJung/ref-non-null

references and Box must be non-null

Author: ehuss

src/behavior-considered-undefined.md

@@ -214,7 +214,7 @@ r[undefined.validity.union]
   Further details are [still being debated](https://github.com/rust-lang/unsafe-code-guidelines/issues/438).
 
 r[undefined.validity.reference-box]
-* A reference or [`Box<T>`] must be aligned, it cannot be [dangling], and it must point to a valid value
+* A reference or [`Box<T>`] must be aligned and non-null, it cannot be [dangling], and it must point to a valid value
   (in case of dynamically sized types, using the actual dynamic type of the
   pointee as determined by the metadata).
   Note that the last point (about pointing to a valid value) remains a subject of some debate.