# Error code E0275

An evaluation of a trait requirement overflowed.

Erroneous code example:

    #![allow(unused)]
    fn main() {
    trait Foo {}

    struct Bar<T>(T);

    impl<T> Foo for T where Bar<T>: Foo {}
    }

This error occurs when there was a recursive trait requirement that overflowed before it could be evaluated. This often means that there is an unbounded recursion in resolving some type bounds.

To determine if a `T` is `Foo`, we need to check if `Bar<T>` is `Foo`. However, to do this check, we need to determine that `Bar<Bar<T>>` is `Foo`. To determine this, we check if `Bar<Bar<Bar<T>>>` is `Foo`, and so on. This is clearly a recursive requirement that can't be resolved directly.

Consider changing your trait bounds so that they're less self-referential.