Fuera los nulos

La solución

type Defined<T> = T extends null | undefined ? never : T

El error más común

type Defined<T> = [T] extends [null | undefined] ? never : T

El envoltorio de tupla desactiva la distribución, y la distribución es justo lo que este puzle necesita. string | null se comprueba ahora como un todo: no es asignable a null | undefined, así que el condicional toma la rama falsa y devuelve la unión tal cual, con null dentro.

Línea por línea

1. T extends null | undefined ? never : T

   Como T está desnudo, esto se ejecuta una vez por miembro. string sobrevive, null se convierte en never, y los resultados se vuelven a unir.

2. never

   Convertir un miembro en never es la forma de borrarlo: string | never se simplifica a string sin que nadie tenga que filtrar nada.

Para recordar

La distribución es una característica, no un accidente. Recurre al envoltorio [T] solo cuando quieras preguntar por una unión como un todo — y nunca cuando quieras editar sus miembros.