diff options
| author | Ariel Ben-Yehuda <arielb1@mail.tau.ac.il> | 2016-03-29 20:12:31 +0300 |
|---|---|---|
| committer | Ariel Ben-Yehuda <ariel.byd@gmail.com> | 2016-04-05 20:58:58 +0300 |
| commit | 8a461d940cc6019bd332b1ea732d79d3216d9108 (patch) | |
| tree | 847015cb866fee03fcc9ebb78c4d8baefd7b1551 /src/doc/book/traits.md | |
| parent | 513d9f208cc52ab71e2899db30aaead5c82c1a74 (diff) | |
suggest adding a where-clause when that can help
suggest adding a where-clause when there is an unmet trait-bound that can be satisfied if some type can implement it.
Diffstat (limited to 'src/doc/book/traits.md')
| -rw-r--r-- | src/doc/book/traits.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/doc/book/traits.md b/src/doc/book/traits.md index 2a164077683..00aa33a9308 100644 --- a/src/doc/book/traits.md +++ b/src/doc/book/traits.md @@ -154,7 +154,7 @@ print_area(5); We get a compile-time error: ```text -error: the trait `HasArea` is not implemented for the type `_` [E0277] +error: the predicate `_ : HasArea` is not satisfied [E0277] ``` ## Trait bounds on generic structs @@ -496,7 +496,7 @@ impl FooBar for Baz { If we forget to implement `Foo`, Rust will tell us: ```text -error: the trait `main::Foo` is not implemented for the type `main::Baz` [E0277] +error: the predicate `main::Baz : main::Foo` is not satisfied [E0277] ``` # Deriving |