1 This error occurs when there was a recursive trait requirement that overflowed
2 before it could be evaluated. Often this means that there is unbounded
3 recursion in resolving some type bounds.
5 For example, in the following code:
12 impl<T> Foo for T where Bar<T>: Foo {}
15 To determine if a `T` is `Foo`, we need to check if `Bar<T>` is `Foo`. However,
16 to do this check, we need to determine that `Bar<Bar<T>>` is `Foo`. To
17 determine this, we check if `Bar<Bar<Bar<T>>>` is `Foo`, and so on. This is
18 clearly a recursive requirement that can't be resolved directly.
20 Consider changing your trait bounds so that they're less self-referential.