This is an error 404
There are `0` results
preferences:
150.6 ms | 1390 KiB | 7 Q<?php
class Base {}
class Sub extends Base{}
class NoRelation {}
abstract class I {
public function foo(Sub $x) {}
}
class CorrectImplementor extends I {
public function foo(Base $x) {} // Should be ok
}
class IncorrectImplementor extends I {
public function foo(NoRelation $x) {} // Should be disallowed
}