Use consistent type parameters in subtyping.md

There is no type parameter `T` in this context, so no reason to use `U`
instead of `T` for disambiguation.
pull/493/head
Remo Senekowitsch 2 months ago
parent c76a20f0d9
commit b4c85a9d36
No known key found for this signature in database

@ -139,7 +139,7 @@ If we remember from the above examples,
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:

Loading…
Cancel
Save