1--TEST--
2Bug #71978 (Existence of return type hint affects other compatibility rules)
3--FILE--
4<?php
5class A1 {
6    function foo(int $a): int {}
7}
8class B1 extends A1 {
9    function foo(string $a): int {}
10}
11?>
12--EXPECTF--
13Fatal error: Declaration of B1::foo(string $a): int must be compatible with A1::foo(int $a): int in %s on line %d
14