Never類型是任何類型的子類型，也可以賦給任何類型；但是，沒有類型是never的子類型或可以分配給never類型（never本身除外）。甚至任何都不能分配給never。
以下是壹些返回never類型的函數:
類型斷言類似於其他語言中的類型轉換。
類型斷言有兩種形式。壹個是“尖括號”語法:
另壹個是語法: