xref: /PHP-7.4/Zend/tests/return_types/rfc004.phpt (revision 251f293c) 
1--TEST--
2RFC example: missing return type on override
3--FILE--
4<?php
5
6class User {}
7
8interface UserGateway {
9    function find($id) : User;
10}
11
12class UserGateway_MySql implements UserGateway {
13    // must return User or subtype of User
14    function find($id) {
15        return new User;
16    }
17}
18--EXPECTF--
19Fatal error: Declaration of UserGateway_MySql::find($id) must be compatible with UserGateway::find($id): User in %s on line 11
20