Dv
Т.е. если в фильтр передаётся тайп гвард, то фильтр информацию из него способен использовать
interface Array<T> {
filter<U extends T>(pred: (a: T) => a is U): U[];
}Size: a a a
2021 June 26
Dv
Настоящая сигнатура вот так выглядит:
Lr
а если нет
то он на всякий подставит underfinded
то он на всякий подставит underfinded
Dv
А если нет, то у него не будет этой информации в системе типов
Dv
Всё правильно отработает, но просто система типов не поймёт, что ты отфильтровал андефайнеды
Dv
Т.к. там будет тогда другая сигнатура, без
isLr
не знаю
выглядит смешно
выглядит смешно
Dv
P
OfType можно использовать
Dv
Ты вообще не понял проблемы
P
Возможно
Dv
Смотри чо хочу.
#nullable enable
void Process(string[] xs) {}
string?[] array = new[] { "foo", null, "bar" };
var filtered = array.Where(x => x is not null).ToArray();
Process(filtered);RS
Кажется тут за то, чтобы компилятор подсказывал что все плохо
Dv
Дак тут не всё плохо.
Dv
Вот это тоже кидается ворнингом, несмотря на то, что тут всё валидно.
Dv
Надо сделать шоб не кидалось.
Dv
Я у себя не придумал, как это сделать без
! :(Dv
P
Dv
Полная хуйня вышла