diff --git a/src/doc/rust.md b/src/doc/rust.md index d860c50f0a2..5fd686543db 100644 --- a/src/doc/rust.md +++ b/src/doc/rust.md @@ -1435,7 +1435,7 @@ trait Circle : Shape { fn radius() -> f64; } ~~~~ the syntax `Circle : Shape` means that types that implement `Circle` must also have an implementation for `Shape`. -Multiple supertraits are separated by spaces, `trait Circle : Shape Eq { }`. +Multiple supertraits are separated by `+`, `trait Circle : Shape + Eq { }`. In an implementation of `Circle` for a given type `T`, methods can refer to `Shape` methods, since the typechecker checks that any type with an implementation of `Circle` also has an implementation of `Shape`.