1--TEST--
2Subtype can add nullability to a parameter (contravariance)
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
14$b = new B();
15$b->method(null);
16?>
17--EXPECT--
18
