---

yaml
---
r: 236067
b: refs/heads/stable
c: 50d8656
h: refs/heads/master
i:
  236065: cdf37d9
  236063: fa22405
v: v3

Author: Gankra

[refs]

@@ -29,7 +29,7 @@ refs/heads/tmp: afae2ff723393b3ab4ccffef6ac7c6d1809e2da0
 refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
 refs/tags/homu-tmp: f859507de8c410b648d934d8f5ec1c52daac971d
 refs/tags/1.0.0-beta: 8cbb92b53468ee2b0c2d3eeb8567005953d40828
-refs/heads/stable: 987a8687db1a2a5a9388265a6bb5a1590a05dd69
+refs/heads/stable: 50d8656945513c6b327122e5a40650c66baa87cb
 refs/tags/1.0.0: 55bd4f8ff2b323f317ae89e254ce87162d52a375
 refs/tags/1.1.0: bc3c16f09287e5545c1d3f76b7abd54f2eca868b
 refs/tags/1.2.0: f557861f822c34f07270347b94b5280de20a597e

branches/stable/exotic-sizes.md

@@ -3,6 +3,10 @@
 Most of the time, we think in terms of types with a fixed, positive size. This
 is not always the case, however.
 
+
+
+
+
 # Dynamically Sized Types (DSTs)
 
 Rust also supports types without a statically known size. On the surface,
@@ -34,19 +38,20 @@ a variable position based on its alignment.**
 
 
 
+
+
 # Zero Sized Types (ZSTs)
 
 Rust actually allows types to be specified that occupy *no* space:
 
 ```rust
 struct Foo; // No fields = no size
-enum Bar; // No variants = no size
 
 // All fields have no size = no size
 struct Baz {
     foo: Foo,
-    bar: Bar,
-    qux: (), // empty tuple has no size
+    qux: (), 	  // empty tuple has no size
+    baz: [u8; 0], // empty array has no size
 }
 ```
 
@@ -67,3 +72,16 @@ standard allocators (including jemalloc, the one used by Rust) generally conside
 passing in `0` as Undefined Behaviour.
 
 
+
+
+
+# Void Types
+
+Rust also enables types to be declared that *cannot even be instantiated*. These
+types can only be talked about at the type level, and never at the value level.
+
+```rust
+enum Foo { } // No variants = VOID
+```
+
+TODO: WHY?!