Type guard iliyofafanuliwa na mtumiaji ni function ambayo aina yake ya kurejeshwa ni type predicate (x is T). Inaporejesha true, kompaila huzuia hoja kuwa T katika msimbo unaopiga simu — ikikuwezesha kufunga vipimo maalum vya wakati wa utekelezaji (runtime checks).
