From 712ba3c8ec0f9ca3102adf19ae8f06dd105c72a2 Mon Sep 17 00:00:00 2001 From: c4rlo Date: Sat, 23 Apr 2016 11:58:58 +0100 Subject: [PATCH] subtyping.md: typo fix --- subtyping.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/subtyping.md b/subtyping.md index 5def5c3..eb940e8 100644 --- a/subtyping.md +++ b/subtyping.md @@ -53,7 +53,7 @@ inferred variance, so `Fn(T)` is invariant in `T`). Some important variances: * `&'a T` is variant over `'a` and `T` (as is `*const T` by metaphor) -* `&'a mut T` is variant with over `'a` but invariant over `T` +* `&'a mut T` is variant over `'a` but invariant over `T` * `Fn(T) -> U` is invariant over `T`, but variant over `U` * `Box`, `Vec`, and all other collections are variant over the types of their contents