--TEST--
Subtype can add nullability to a parameter (contravariance)

--FILE--
<?php

interface A {
    function method(int $p);
}

class B implements A {
    function method(?int $p) { }
}

$b = new B();
$b->method(null);

--EXPECT--

