mirror of
https://github.com/php/php-src.git
synced 2024-09-22 10:27:25 +00:00
3b7c8bb973
When performing an unlinked instanceof, we also need to consider interfaces of parent classes, as they may not have been inherited yet.
28 lines
400 B
PHP
28 lines
400 B
PHP
--TEST--
|
|
Bug #80126: Covariant return types failing compilation (variation 2)
|
|
--FILE--
|
|
<?php
|
|
|
|
interface I {
|
|
public function method(): I;
|
|
}
|
|
|
|
abstract class A implements I {
|
|
public function method(): I {
|
|
return new static();
|
|
}
|
|
}
|
|
|
|
class C extends A { }
|
|
|
|
interface I2 { }
|
|
|
|
class C2 extends C implements I2 {
|
|
public function method(): C2 { }
|
|
}
|
|
|
|
?>
|
|
===DONE===
|
|
--EXPECT--
|
|
===DONE===
|