-You tried to use something which is not a trait in a trait position, such as
-a bound or `impl`.
+A type that is not a trait was used in a trait position, such as a bound
+or `impl`.
Erroneous code example:
fn bar<T: Foo>(t: T) {} // error: `Foo` is not a trait
```
-Please verify that you didn't misspell the trait's name or otherwise use the
-wrong identifier. Example:
+Please verify that the trait's name was not misspelled or that the right
+identifier was used. Example:
```
trait Foo {
}
```
-or
+or:
```
trait Foo {