--TEST-- Return type cannot add nullability (contravariance) --FILE-- <?php interface A { function method(): int; } interface B extends A { function method(): ?int; } --EXPECTF-- Fatal error: Declaration of B::method(): ?int must be compatible with A::method(): int in %s on line %d