'c'
['a', 'b'].includes(x)
начал выдавать ошибку
Argument of type `'a' | 'b' | 'c'` is not assignable to parameter of type `'a' | 'b'`.
Type `'c'` is not assignable to type`'a' | 'b'`.
Почему так писать больше нельзя?
ну верно, нет смысла проверять то, что априори вернёт false
наверное это более очевидный пример с ошибкой: (x: Dir) => [Dir.left, Dir.top].includes(x)
а как тут звучит ошибка?
https://www.typescriptlang.org/play?#code/MYewdgzgLgBAIgSwE4CECeA5AhgWwKYwC8MA3gFAwxQgAqWSA5nlAFwwDkAtAHzsA0FGAFcwAE2R5gUPKLZd+ggEYgoACzkAeHgoC+MLBBihIUANxkyUNAAcCANSwAbIXgDyAMw01uRGDQDaANZ4aCDufgC65la28Mi+Ds5unjF4YXGomLh43ObG0DBovgAUAB5siEgAlEQ+-pXo2PgAdCLiSJLSonwZjdnNymoRzQhgwM6ieBBlVUA
то же самое, только названия другие) вы пытаетесь найти элемент, которого нет и это ясно даже ещё до райнтайма
ну в реальном коде то этот параметр из вне приходит поправил на более очевидный пример
в реальном коде вам ведь придёт массив неизвестно чего, обозначенный типом Dir[] а тут TS просто догадывается, что у вас в массиве есть только два его поля и только они
я исправил на пример без вывода value типов
https://www.typescriptlang.org/play?#code/MYewdgzgLgBAIgSwE4CECeA5AhgWwKYwC8MA3gFAwxQgAqWSA5nlAFwwDkAtAHzsA0FGAFcwAE2R5gUPKLZd+ggEYgoACzkAeHgoC+MLBBihIUANxkyUNAAcCANSwAbIXgDyAMw01uRGDQDaANZ4aCDufgC65la28Mi+Ds5unjF4YXGomLh43OYWZMbQVDYyiEgQbGX+Eb7+ZejY+AB0IuJIktKifBkN2U3KahEF4EVovgAUAB6VyACURD6pomUQTQhgwM6ieBBTs-mFsGAqNCXLyIbEdci9za0SUjLd9VnNA6pDhzBoAEwT0xl5oQfMcoKdbOdymsNlsdnsgA
я думаю так яснее кстати, ts playground не обновляет код как стакблиц, код шифруется в ссылке (вроде)
я знаю, по этому изменил и ссылку тоже) я сделал точно так как вы чтобы решить эту проблему, но я все ещё не понимаю зачем запретили старый вариант без указания более общего типа
уточнили типы. могли бы этого не делать, но уточнили. теперь ваш рантайм не будет заниматься лишней работой :)
Обсуждают сегодня