Skip to content

Commit

Permalink
Small language fix in subtyping.md (#399)
Browse files Browse the repository at this point in the history
  • Loading branch information
MPvHarmelen committed Feb 7, 2023
1 parent bd1829d commit 2d3e6f6
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 @@ -339,7 +339,7 @@ lifetimes 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.

However Box makes it easier to focus on by-value aspect of references that we
However, Box makes it easier to focus on the by-value aspect of references that we
partially glossed over.

Unlike a lot of languages which allow values to be freely aliased at all times,
Expand Down

0 comments on commit 2d3e6f6

Please sign in to comment.