Merge pull request #493 from senekor/senekor-rrqpxsznswmt
Use consistent type parameters in subtyping.md
diff --git a/src/subtyping.md b/src/subtyping.md
index f09fead..cdb8c51 100644
--- a/src/subtyping.md
+++ b/src/subtyping.md
@@ -139,7 +139,7 @@
it was ok for us to treat `&'a T` as a subtype of `&'b T` if `'a <: 'b`,
therefore we can say that `&'a T` is *covariant* over `'a`.
-Also, we saw that it was not ok for us to treat `&mut &'a U` as a subtype of `&mut &'b U`,
+Also, we saw that it was not ok for us to treat `&mut &'a T` as a subtype of `&mut &'b T`,
therefore we can say that `&mut T` is *invariant* over `T`
Here is a table of some other generic types and their variances:
