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 9 20