Skip to content

Commit

Permalink
fix link
Browse files Browse the repository at this point in the history
  • Loading branch information
muglug committed Dec 19, 2019
1 parent 7b6061e commit c2464eb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/annotating_code/templated_annotations.md
Expand Up @@ -375,7 +375,7 @@ class Collection {

Doing this for the above example produces no errors: https://psalm.dev/r/5254af7a8b

But `@template-covariant` doesn't get rid of _all_ errors – if you add it to the first example, you get a new error – https://psalm.dev/r/0fcd699231 – complaining that you're attempting to use a covaraint template parameter for function input. That’s no good, as it means you're likely altering the collection somehow (which is, again, a violation).
But `@template-covariant` doesn't get rid of _all_ errors – if you add it to the first example, you get a new error – [https://psalm.dev/r/0fcd699231](https://psalm.dev/r/0fcd699231) – complaining that you're attempting to use a covaraint template parameter for function input. That’s no good, as it means you're likely altering the collection somehow (which is, again, a violation).

### But what about immutability?

Expand Down

0 comments on commit c2464eb

Please sign in to comment.