iPhone неудобно использовать

Если заменить в тексте слово «iPhone» на «Смартфон» суть статьи не изменится

Школа магии TypeScript: дженерики и расширение типов

Ну давайте по порядку

1. Мой ответ был к примеру кода где в минус было приписано что код

console.log(new Cat() instanceof Dog)

Должен почему-то быть не валидным с точки зрения анализатора, но это не так.
Ну попробуйте сделать тоже самое например в C# (там вы получите уведомление что условие всегда будет ложным)

2. Приведенный вами пример будет не валидным. Предлагаю вам попробовать не в онлайн редакторе

Школа магии TypeScript: дженерики и расширение типов

А что вы хотели от валидного с точки зрения типизации примера
Выполнение этого кода безопасное и будет всегда false