This is an error 404
There are `0` results
preferences:
153.15 ms | 1403 KiB | 7 Q<?php
class Object { }
class DifferentObject { }
function a(object $a) { }
function b(Object $b) { }
$o = new Object;
$d = new DifferentObject;
a($o);
a($d);
b($o);
b($d);