Description:
------------
i am so pissed by it. we were so excited to write php 7 only code, but yet again php failed to provide a feature complete result and we are still forced to use annotations. changing the return type to a sub-type or parameter types to super types (aka type variance) in overridden methods is one of the most basic features of a decent type system, but it still isn't there!! it's been actual decades and the language it's still basically the same. i have heard good things about php7 and i couldn't wait to use it but again it's still the same old f****g piece of s**t. you are fooling yourselves, in the real world nobody gives a s**t about "group use declarations". are you aware that the vast majority don't care about performance improvements and that they just want a language that is consistent and pleasant to work with? wake up and get your s**t together, please

Test script:
---------------
class A{ public function method(): A{} }
class B extends A{ public function method(): B{} }

Expected result:
----------------
expected result: i expect php to not s***k

Actual result:
--------------
actual result: php s***s