From 2d3e6f67d5293651180f977ccef60ef7778ae952 Mon Sep 17 00:00:00 2001 From: Martin <1544429+MPvHarmelen@users.noreply.github.com> Date: Tue, 7 Feb 2023 15:28:03 +0545 Subject: [PATCH] Small language fix in subtyping.md (#399) --- src/subtyping.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/subtyping.md b/src/subtyping.md index 6f0c12d..cc48a59 100644 --- a/src/subtyping.md +++ b/src/subtyping.md @@ -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,