Skip to content

Generic variance - #4

Merged
ondrejmirtes merged 1 commit into
phpstan:masterfrom
arnaud-lb:variance
Nov 6, 2019
Merged

Generic variance#4
ondrejmirtes merged 1 commit into
phpstan:masterfrom
arnaud-lb:variance

Conversation

@arnaud-lb

@arnaud-lb arnaud-lb commented Nov 6, 2019

Copy link
Copy Markdown
Contributor

This builds on phpstan/phpdoc-parser#34 to support covariance of type variables, via @template-covariant.

Missing:

  • Rule to allow covariant type variables only as return types (f(): T), or as covariant type parameter (Bar<T> when Bar has @template-covariant).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants