typos and nits

Author: RalfJung

text/0000-unsafe-aliased.md

@@ -191,14 +191,14 @@ struct UnsafeAliased<T: ?Sized> {
 
 impl<T: ?Sized> !Send for UnsafeAliased<T> {}
 
-impl<T> UnsafeCell<T> {
+impl<T: ?Sized> UnsafeAliased<T> {
     /// Constructs a new instance of `UnsafeCell` which will wrap the specified
     /// value.
-    pub fn new(value: T) -> UnsafeAliased<T> {
+    pub fn new(value: T) -> UnsafeAliased<T> where T: Sized {
         UnsafeAliased { value }
     }
 
-    pub fn into_inner(self) -> T {
+    pub fn into_inner(self) -> T where T: Sized {
         self.value
     }
 
@@ -290,7 +290,7 @@ Codegen and Miri changes:
 
 - `UnsafeCell`: disables aliasing (and affects but does not fully disable dereferenceable) behind shared refs, i.e. `&UnsafeCell<T>` is special. `UnsafeCell<&T>` (by-val, fully owned) is not special at all and basically like `&T`; `&mut UnsafeCell<T>` is also not special.
 - `UnsafeAliased`: disables aliasing (and affects but does not fully disable dereferenceable) behind mutable refs, i.e. `&mut UnsafeAliased<T>` is special. `UnsafeAliased<&mut T>` (by-val, fully owned) is not special at all and basically like `&mut T`; `&UnsafeAliased<T>` is also not special.
-- [`MaybeDangling`](https://github.com/rust-lang/rfcs/pull/3336): disables aliasing and dereferencable *of all references (and boxes) directly inside it*, i.e. `MaybeDanling<&[mut] T>` is special. `&[mut] MaybeDangling<T>` is not special at all and basically like `&[mut] T`.
+- [`MaybeDangling`](https://github.com/rust-lang/rfcs/pull/3336): disables aliasing and dereferencable *of all references (and boxes) directly inside it*, i.e. `MaybeDangling<&[mut] T>` is special. `&[mut] MaybeDangling<T>` is not special at all and basically like `&[mut] T`.
 
 # Drawbacks
 [drawbacks]: #drawbacks