Hi Internals,

  whilst recently playing with return type hints on PHP 7 I noticed that
"static" cannot be used as a valid return type. I'm not entirely sure
whether this has been purposely prevented or not.

https://3v4l.org/LEXis

The behaviour works it's just a parse error that's stopping it. It's fairly
easy to get around this behaviour by using 'self' on the return hint
however I'm not too sure how correct this is considering you might want to
have that method be extendable.

https://3v4l.org/rk4W6

I always considered 'self' to represent the class where the definition
lies, and 'static' to mean the caller class (i.e. when using LSB) so it
might be something that you'd want to define on the type hint.

Do you think this is something we should allow into the type system?

Thoughts?

Reply via email to