فحص الاكتمال

switch يغطّي اليوم كل حالات الاتحاد. غدًا يضيف زميل حالة جديدة، فيبتلعها default بصمت: لا خطأ ولا تحذير، فقط رسوم صفرية على كل دفعة بالمحفظة.

المترجم يضيّق النوع مع كل case، فإذا غطّيت الحالات كلها لم يبقَ شيء، وصار نوع القيمة في default هو never: النوع الذي لا قيمة له. مرّرها إلى دالة لا تقبل إلا never، فتبقى كل حالة منسية في النوع وتصير خطأ ترجمة.

function assertNever(x: never): never تحرس في الوقتين: في الترجمة لا تقبل إلا ما لم يبقَ منه شيء، وفي التشغيل ترمي إن وصلتها بيانات لم يتوقّعها أحد.