diff --git a/src/subtyping.md b/src/subtyping.md index 0e336581..ee47d39a 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.