Skip to content

Commit

Permalink
Fix typo in 3.8 Subtyping and Variance (#395)
Browse files Browse the repository at this point in the history
Co-authored-by: Mason Loyet <mloyet@andrew.cmu.edu>
  • Loading branch information
masloyet and mloyet committed Mar 27, 2023
1 parent 1f3e4cd commit b5f7500
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/subtyping.md
Original file line number Diff line number Diff line change
Expand Up @@ -335,7 +335,7 @@ we inherited invariance as soon as we put our reference inside an `&mut T`.

As it turns out, the argument for why it's ok for Box (and Vec, Hashmap, etc.) to
be covariant is pretty similar to the argument for why it's ok for
lifetimes to be covariant: as soon as you try to stuff them in something like a
references to be covariant: as soon as you try to stuff them in something like a
mutable reference, they inherit invariance and you're prevented from doing anything
bad.

Expand Down

0 comments on commit b5f7500

Please sign in to comment.