I think we should just skip them then. From a developer perspective I do not think they have much value if tyhey only contain the return type and copy/pasting the entire block is tedious to maintain. Type inference in IDEs such as PHPStorm should respect inheritance.