never adalah tipe nilai yang tidak pernah terjadi — fungsi yang tidak pernah mengembalikan (melempar atau terus-menerus loop), atau cabang yang telah terbukti oleh compiler tidak mungkin terjadi. Ini adalah tipe kosong: tidak ada nilai yang dapat ditetapkan ke never (kecuali never itu sendiri).
