Skip to content

Commit 46ab087

Browse files
authored
Merge pull request #2506 from slee500/patch-1
Update variances.md
2 parents b852772 + 046873c commit 46ab087

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

_tour/variances.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -116,7 +116,7 @@ We've seen we can accomplish covariance by making sure that we can't put somethi
116116

117117
We say that `Serializer` is *contravariant* in `A`, and this is indicated by the `-` before the `A`. A more general serializer is a subtype of a more specific serializer.
118118

119-
More formally, that gives us the reverse relationship: given some `class Contra[-T]`, then if `A` is a subtype of `B`, `Cov[B]` is a subtype of `Cov[A]`.
119+
More formally, that gives us the reverse relationship: given some `class Contra[-T]`, then if `A` is a subtype of `B`, `Contra[B]` is a subtype of `Contra[A]`.
120120

121121
### Comparison With Other Languages
122122

0 commit comments

Comments
 (0)