Description:
------------
Children classes may override methods with different argument types.
This leads to Warning.
However if the same methods in addition have the same return type PHP emits "Fatal Error" instead of "Warning"


Test script:
---------------
<?php
class A {
	function foo(int $a) {}
}
class B extends A {
	function foo(string $a) {}
}
class A1 {
	function foo(int $a): int {}
}
class B1 extends A1 {
	function foo(string $a): int {}
}
?>


Expected result:
----------------
Warning: Declaration of B::foo(string $a) should be compatible with A::foo(int $a) in %s on line %d

Warning: Declaration of B1::foo(string $a): int should be compatible with A1::foo(int $a): int in %s on line %d


Actual result:
--------------
Warning: Declaration of B::foo(string $a) should be compatible with A::foo(int $a) in %s on line %d

Fatal Error: Declaration of B1::foo(string $a): int must be compatible with A1::foo(int $a): int in %s on line %d