-This error indicates that some types or traits depend on each other
-and therefore cannot be constructed.
+A type dependency cycle has been encountered.
-The following example contains a circular dependency between two traits:
+Erroneous code example:
```compile_fail,E0391
trait FirstTrait : SecondTrait {
}
```
+
+The previous example contains a circular dependency between two traits:
+`FirstTrait` depends on `SecondTrait` which itself depends on `FirstTrait`.