From 10e762eaad53c1287f78a24faa4b9ad1768a2384 Mon Sep 17 00:00:00 2001 From: Tshepang Lekhonkhobe Date: Sun, 5 Jul 2015 21:43:28 +0200 Subject: [PATCH] reference: 'inherits' is more clear than 'implies' --- src/doc/reference.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/doc/reference.md b/src/doc/reference.md index a3e13acccae28..05921f8ca24bb 100644 --- a/src/doc/reference.md +++ b/src/doc/reference.md @@ -3517,13 +3517,14 @@ more of the closure traits: * `FnMut` : The closure can be called multiple times as mutable. A closure called as - `FnMut` can mutate values from its environment. `FnMut` implies - `FnOnce`. + `FnMut` can mutate values from its environment. `FnMut` inherits from + `FnOnce` (i.e. anything implementing `FnMut` also implements `FnOnce`). * `Fn` : The closure can be called multiple times through a shared reference. A closure called as `Fn` can neither move out from nor mutate values - from its environment. `Fn` implies `FnMut` and `FnOnce`. + from its environment. `Fn` inherits from `FnMut`, which itself + inherits from `FnOnce`. ### Trait objects