Remove guarantees for enums with uninhabited variants

Author: gnzlbg

Diff for: reference/src/layout/enums.md

@@ -356,8 +356,8 @@ enum Enum1<T> {
 > **NOTE**: the guarantees in this section have not been approved by an RFC process.
 
 **Data-carrying** enums with a single variant without a `repr()` annotation have
-the same SAFNC-layout as the variant field. **Fieldless** enums with a single variant
-have the same SAFNC-layout as a unit struct. 
+the same layout as the variant field. **Fieldless** enums with a single variant
+have the same layout as a unit struct. 
 
 For example, here:
 
@@ -371,37 +371,5 @@ enum DataCarryingSingleVariant {
 }
 ```
 
-* `FieldSingleVariant` has the same SAFNC-layout as `UnitStruct`,
-* `DataCarryingSingleVariant` has the same SAFNC-layout as `SomeStruct`.
-
-### Layout of multi-variant enums with one inhabited variant
-
-> **NOTE**: the guarantees in this section have not been approved by an RFC process.
-
-The layout of **multi-variant** enums with **one inhabited variant** is the same
-as that of the single-variant enum containing that same inhabited variant.
-
-Here:
-
-```rust
-# use std::mem::{size_of, align_of};
-struct SomeStruct { x: u32 }
-enum SingleVariantDataCarrying {
-    DataCarryingVariant(SomeStruct),
-}
-enum Void0 {}
-enum Void1 {}
-enum MultiVariantSingleHabited {
-  DataCarryingVariant(SomeStruct),
-  Uninhabited0(Void0),
-  Uninhabited1(Void1),
-}
-# fn main() {
-# use std::mem;
-# assert_eq!(size_of::<SingleVariantDataCarrying>(), size_of::<MultiVariantSingleHabited>());
-# assert_eq!(align_of::<SingleVariantDataCarrying>(), align_of::<MultiVariantSingleHabited>());
-# }
-```
-
-the `MultiVariantSingleHabited` enum has the same layout as
-`SingleVariantDataCarrying`.
+* `FieldSingleVariant` has the same layout as `UnitStruct`,
+* `DataCarryingSingleVariant` has the same layout as `SomeStruct`.