From 4f7df6c3d97e8a4073969884702ffbf6b15ce59c Mon Sep 17 00:00:00 2001 From: Colin Rofls Date: Thu, 27 Dec 2018 21:07:37 -0500 Subject: [PATCH] Fix typo in subtyping.md --- src/subtyping.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/subtyping.md b/src/subtyping.md index 0e33658..ee47d39 100644 --- a/src/subtyping.md +++ b/src/subtyping.md @@ -306,7 +306,7 @@ fn evil_feeder(input: &mut T, val: T) { } ``` -All it does it take a mutable reference and a value and overwrite the referent with it. +All it does is take a mutable reference and a value and overwrite the referent with it. What's important about this function is that it creates a type equality constraint. It clearly says in its signature the referent and the value must be the *exact same* type.