-This error occurs when the compiler doesn't have enough information
-to unambiguously choose an implementation.
+An implementation cannot be chosen unambiguously because of lack of information.
-For example:
+Erroneous code example:
```compile_fail,E0283
trait Generator {
}
```
-To resolve this error use the concrete type:
+This error can be solved by adding type annotations that provide the missing
+information to the compiler. In this case, the solution is to use a concrete
+type:
```
trait Generator {