PHP-Дайджест № 145 (26 ноября – 10 декабря 2018)
interface X {
function m(Y $z): X;
}
interface Y extends X {
// Тут можно будет сужать тип
function m(X $z): Y;
}
interface Concatable {
function concat(Iterator $input);
}
class Collection implements Concatable {
// А тут можно будет расширять тип
function concat(iterable $input) {/* . . . */}
}