Неустранимая ошибка: тип D::$prop должен быть A ( как в классе C)
Я читал о https://www.php.net/manual/en/language. ... riance.php но это все еще очень сбивает с толку, и я не могу найти логическую причину, чтобы не допустить подобных действий.
Мне так неестественно и неприятно не иметь возможности использовать класс, который реализует интерфейс и поэтому соблюдайте контракт этого интерфейса, чтобы просто не иметь возможности вводить подсказку.
Как в следующем примере:
Код: Выделить всё
Подробнее здесь: [url]https://stackoverflow.com/questions/79062375/covariance-and-contravariance-really-feels-unnatural[/url]