From b5f7500fc40775096c2bbd204eae096612cf9047 Mon Sep 17 00:00:00 2001 From: masloyet <59209784+masloyet@users.noreply.github.com> Date: Mon, 27 Mar 2023 09:47:36 -0400 Subject: [PATCH] Fix typo in 3.8 Subtyping and Variance (#395) Co-authored-by: Mason Loyet --- src/subtyping.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/subtyping.md b/src/subtyping.md index cc48a59..79b29be 100644 --- a/src/subtyping.md +++ b/src/subtyping.md @@ -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.