Skip to content

Commit

Permalink
Fix typo (#380)
Browse files Browse the repository at this point in the history
  • Loading branch information
SUPERCILEX authored Sep 29, 2022
1 parent f53bfa0 commit 9c73283
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 @@ -252,7 +252,7 @@ type of the referent is shared knowledge, which is why adjusting that type in on
one place (the reference) can lead to issues. But if you shrink down a reference's
lifetime when you hand it to someone, that lifetime information isn't shared in
any way. There are now two independent references with independent lifetimes.
There's no way to mess with original reference's lifetime using the other one.
There's no way to mess with the original reference's lifetime using the other one.

Or rather, the only way to mess with someone's lifetime is to build a meowing dog.
But as soon as you try to build a meowing dog, the lifetime should be wrapped up
Expand Down

0 comments on commit 9c73283

Please sign in to comment.