Update explanation for NeverGeneric<never>

MichiganTypeScript · Jul 26, 2023 · 5891cf6 · 5891cf6
1 parent b4bff77
commit 5891cf6
Showing 1 changed file with 9 additions and 15 deletions.
diff --git a/episodes/extending never/code.ts b/episodes/extending never/code.ts
@@ -207,33 +207,27 @@ type NeverGenericEquivalences = [
   /**
    * `never` is the empty union of ZERO elements
    * 
-   * NeverGeneric<(|)>,
+   *    NeverGeneric<(|)>,
    */
 
-  /**
-   * This distribution over the empty union
-   * never happens (there's nothing to distribute over).
+  /** This distribution over the empty union never happens (there's nothing to distribute over).
    * 
-   * | NeverGeneric<(|)>
-   * | NeverGeneric<(|)>,
+   *    (| NeverGeneric<(|)>), 
    */
 
-  /**
-   * This conditional is never evaluated, and
-   * the `true`/`false` branches are both unreachable.
+  /** This conditional is never evaluated, and the `true`/`false` branches are both unreachable.
    * 
-   * ((|) extends never ? true : false),
+   *    (| ((|) extends never ? true : false)),
    */
 
-  /**
-   * NeverGeneric<never> resolves to an empty union
+  /** NeverGeneric<never> resolves to an empty union.
    * 
-   * (|),
+   *    (|),
    */
 
+  /** ...which is `never` by definition. */
   never,
-]
-
+]>