class Bar {}
class Foo extends Bar { public function fooMethod() { return 'blue'; } }
interface I1 { function m1(Foo $foo) : mixed { return $foo->fooMethod(); } }
interface I2 extends I1 { function m1(Bar $foo) : SomeType; }
class Test implements I2 {}
(new Test)->m1(new Bar); // what error and when will be emitted?