حرّاس الأنواع

ما يصلك من JSON.parse أو من الشبكة لا نوع له في الحقيقة، ونوعه الصادق unknown: لا يدعك المترجم تلمسه قبل أن تفحصه.

والفحص نفسه يضيّق: بعد typeof x === "object" && x !== null صار x كائنًا، وبعد "id" in x صار له حقل id — نوعه unknown حتى تفحصه بـtypeof هو الآخر.

لكن التضييق يموت عند حدود الدالة: دالة تُرجع boolean لا تخبر من يستدعيها بشيء. نوع الناتج x is User يحمله إلى الخارج، فيصير data مستخدمًا داخل if (isUser(data)). وهو وعد لا يتحقّق منه المترجم: لو أرجعت true دائمًا لصدّقك.