1--TEST--
2Subtype cannot remove nullable parameter (covariance)
3--FILE--
4<?php
5
6interface A {
7    function method(?int $p);
8}
9
10class B implements A {
11    function method(int $p) { }
12}
13--EXPECTF--
14Fatal error: Declaration of B::method(int $p) must be compatible with A::method(?int $p) in %s on line %d
15