This is an error 404
There are `0` results
preferences:
139.57 ms | 1399 KiB | 7 Q<?hh
abstract class P { public abstract function foo(): string; };
class C1 extends P { public function foo(): string { return "C1"; } };
class C2 extends P { public function foo(): string { return "C2"; } };
$v1 = Vector { new C1(), new C1(), };
$v2 = Vector { new C2(), new C2(), };
function bC1(Vector<C1> $vec) { bP($vec); };
function bC2(Vector<C2> $vec) { bP($vec); };
function bP(Vector<P> $vec) { print_r($vec); };
bC1($v1);
bC2($v2);