never là type của các giá trị không bao giờ xảy ra — một function không bao giờ trả về (ném lỗi hoặc lặp vô tận), hoặc một nhánh mà compiler đã chứng minh là không thể xảy ra. Nó là type rỗng (empty): không có giá trị nào có thể gán cho never (ngoại trừ chính never).
