never è il tipo di valori che non si verificano mai — una funzione che non ritorna mai (lancia un'eccezione o cicla infinitamente), o un ramo che il compilatore ha provato essere impossibile. È il tipo vuoto: nessun valore può essere assegnato a never (tranne never stesso).
