[имя] что такое type guard в TypeScript и как он работает? Что произойдёт, если type guard для union-типа всегда возвращает `true`?