diff --git a/episodes/extending never/code.ts b/episodes/extending never/code.ts index ba508bd..5d1c170 100644 --- 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 resolves to an empty union + /** NeverGeneric resolves to an empty union. * - * (|), + * (|), */ + /** ...which is `never` by definition. */ never, -] - +]>