Т.е. у нас поле может быть null энное время, но на уровне типов мы указывем что оно только string.
Соответственно обращение к этому полю из других методов когда оно null упадет только в рантайме, а псалм его не поймает.

ничё не понял

в 7.4 нельзя написать

class Abube() {
  private ?string $value;

 public function qwerty(): string {
    if(null === $this->value {...}
}
}

но если к переменной добавить присваивание null, или сделать то же самое в конструкторе - всё будет ок

Т.е. нельзя?

private ?string $value = null; и готово

т.е. получишь ошибку

вот

Я к тому, что тип у такого поля должен быть, имхо ?string а не string.

не ну это да

меня больше удивило вчера, схуяли оно с таким странным поведением, но да ладно.

с сериалайзером долго промучался, ибо рефлекшен апи тоже почему-то триггерит этот факап

Да вроде логичное поведение.

чем оно логичное?) и по каким меркам?)

По меркам пхп. И его идеологии проверки типов в рантайме.

чем оно логичное по меркам пхп, который много лет знал, что если свойство явно не инициализированно, то оно null?)

А чем оно нелогичное? И как было бы логично?

?string - это либо null, либо string. С любовью ваш ко.
если я его явно не присвоил, то схуяли я ошибку получаю?

Короче как я понимаю, как оно работает внутри. Когда мы пытаемся установить значение - оно проверяет, подходящее ли значение, записывает его в поле и ставит у поля символ что проиницилазировано.
Когда читаем оно просто отдает нам это поле, если стоит флаг что проинициализировано.
Когда ты не указываешь явно тип в поле все так-же хранится null, просто т.к. поле не инициализировано пхп не знает, валидный это тип или нет.

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