169 похожих чатов

С недавнего времени includes вроде этого: x: 'a' | 'b' |

'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'`.
Почему так писать больше нельзя?

12 ответов

17 просмотров

ну верно, нет смысла проверять то, что априори вернёт false

Nikita-Fedorov Автор вопроса

наверное это более очевидный пример с ошибкой: (x: Dir) => [Dir.left, Dir.top].includes(x)

а как тут звучит ошибка?

Nikita-Fedorov Автор вопроса

https://www.typescriptlang.org/play?#code/MYewdgzgLgBAIgSwE4CECeA5AhgWwKYwC8MA3gFAwxQgAqWSA5nlAFwwDkAtAHzsA0FGAFcwAE2R5gUPKLZd+ggEYgoACzkAeHgoC+MLBBihIUANxkyUNAAcCANSwAbIXgDyAMw01uRGDQDaANZ4aCDufgC65la28Mi+Ds5unjF4YXGomLh43ObG0DBovgAUAB5siEgAlEQ+-pXo2PgAdCLiSJLSonwZjdnNymoRzQhgwM6ieBBlVUA

то же самое, только названия другие) вы пытаетесь найти элемент, которого нет и это ясно даже ещё до райнтайма

Nikita-Fedorov Автор вопроса

ну в реальном коде то этот параметр из вне приходит поправил на более очевидный пример

в реальном коде вам ведь придёт массив неизвестно чего, обозначенный типом Dir[] а тут TS просто догадывается, что у вас в массиве есть только два его поля и только они

Nikita-Fedorov Автор вопроса

я исправил на пример без вывода value типов

https://www.typescriptlang.org/play?#code/MYewdgzgLgBAIgSwE4CECeA5AhgWwKYwC8MA3gFAwxQgAqWSA5nlAFwwDkAtAHzsA0FGAFcwAE2R5gUPKLZd+ggEYgoACzkAeHgoC+MLBBihIUANxkyUNAAcCANSwAbIXgDyAMw01uRGDQDaANZ4aCDufgC65la28Mi+Ds5unjF4YXGomLh43OYWZMbQVDYyiEgQbGX+Eb7+ZejY+AB0IuJIktKifBkN2U3KahEF4EVovgAUAB6VyACURD6pomUQTQhgwM6ieBBTs-mFsGAqNCXLyIbEdci9za0SUjLd9VnNA6pDhzBoAEwT0xl5oQfMcoKdbOdymsNlsdnsgA

я думаю так яснее кстати, ts playground не обновляет код как стакблиц, код шифруется в ссылке (вроде)

Nikita-Fedorov Автор вопроса

я знаю, по этому изменил и ссылку тоже) я сделал точно так как вы чтобы решить эту проблему, но я все ещё не понимаю зачем запретили старый вариант без указания более общего типа

уточнили типы. могли бы этого не делать, но уточнили. теперь ваш рантайм не будет заниматься лишней работой :)

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта