Never For Parameter Types

[JordanRL]

I'm making this pull request for an anticipated RFC to facilitate feedback and discussion.

EDIT:

Link to RFC: https://wiki.php.net/rfc/never_for_parameter_types

[faizanakram99]

I'm making this pull request for an anticipated RFC to facilitate feedback and discussion.

I'd suggest to link the RFC for rationale behind this. You make a very solid point there for facilitating pseudo generics by allowing never parameter types.

[Girgias]

Needs a couple more tests just thinking on top of my head:

• Check that a type of never|T marks never as redundant at compile time.
• Check that function foo(never $v = null){} doesn't compile (implicit null-ability).

[JordanRL]

@faizanakram99 For now I'll link to the github RFC stub, but the reception on the mailing list has been good so I think I'll switch it to the wiki pretty soon: https://github.com/JordanRL/never-argument-type

@Girgias Thanks, I imagined there were a few tests I was missing.

[JordanRL]

Closing this PR as the RFC will not be moving forward to a vote.