Телеграмм чат группы prophp7 страница 10317

don't translate your questions, solve them
if you can't - search for solution in google
if you can't google too - go to upwork or any other freelance website and pay for solution

источник

20:46пожаловаться #6

ЕР

Евгений Ромашкан... in PHP

Может кто понять почему не матчится тип - https://psalm.dev/r/ac7639733b ?

источник

21:30пожаловаться #7

ЕР

Евгений Ромашкан... in PHP

Жалуется что выведенный non-empty-list не матчится с объявленным list 🤔

источник

21:32пожаловаться #8

AZ

Artem Zakirullin in PHP

Евгений Ромашкан

Жалуется что выведенный non-empty-list не матчится с объявленным list 🤔

Все же, типы разные. Но по идее, тип list является less-specific, и ошибки быть не должно 🧐

источник

21:53пожаловаться #9

ЕР

Евгений Ромашкан... in PHP

Artem Zakirullin

Все же, типы разные. Но по идее, тип list является less-specific, и ошибки быть не должно 🧐

Тип "Список" более специфичен чем "не пустой список"?)

источник

21:53пожаловаться #10

AZ

Artem Zakirullin in PHP

Евгений Ромашкан

Тип "Список" более специфичен чем "не пустой список"?)

Ну наоборот же)

источник

21:54пожаловаться #11

ЕР

Евгений Ромашкан... in PHP

Artem Zakirullin

Ну наоборот же)

Вот именно. А в декларации у меня "Список"

источник

21:54пожаловаться #12

AZ

Artem Zakirullin in PHP

Artem Zakirullin

Все же, типы разные. Но по идее, тип list является less-specific, и ошибки быть не должно 🧐

Поэтому я и говорю, что по идее ошибки не должно

источник

21:54пожаловаться #13

AZ

Artem Zakirullin in PHP

было бы ясно, если ты декларировал <non-empty-list>, а возвращал просто <list>

источник

21:54пожаловаться #14

ЕР

Евгений Ромашкан... in PHP

Artem Zakirullin

Поэтому я и говорю, что по идее ошибки не должно

А, сорри, не так понял. Я тоже думаю что не должно

источник

21:54пожаловаться #15

ЕР

Евгений Ромашкан... in PHP

По идее там и выводиться non-empty-list не должен

источник

21:55пожаловаться #16

AZ

Artem Zakirullin in PHP

Но если подумать. Статик анализ копает довольно глубоко.
Типо, если ты декларируюешь <list>, то клиентский код может содержать обработку пустого списка. А пустого списка в твоем кейсе не может быть. Поэтому статик анализ предупреждает. Но это такое, весьма странно)

источник

21:56пожаловаться #17

ЕР

Евгений Ромашкан... in PHP

Artem Zakirullin

Но если подумать. Статик анализ копает довольно глубоко.
Типо, если ты декларируюешь <list>, то клиентский код может содержать обработку пустого списка. А пустого списка в твоем кейсе не может быть. Поэтому статик анализ предупреждает. Но это такое, весьма странно)

И пустой лист там может быть)

источник

21:58пожаловаться #18

ЕР

Евгений Ромашкан... in PHP

Евгений Ромашкан

Может кто понять почему не матчится тип - https://psalm.dev/r/ac7639733b ?

Вот код

источник

21:58пожаловаться #19

AZ

Artem Zakirullin in PHP

Artem Zakirullin

Но если подумать. Статик анализ копает довольно глубоко.
Типо, если ты декларируюешь <list>, то клиентский код может содержать обработку пустого списка. А пустого списка в твоем кейсе не может быть. Поэтому статик анализ предупреждает. Но это такое, весьма странно)

Хотя, да, похоже про non-empty погорячился

источник

21:58пожаловаться #20