1 // Regression test for #33344, initial version. This example allowed
2 // arbitrary trait bounds to be synthesized.
4 trait Tweedledum: IntoIterator {}
5 trait Tweedledee: IntoIterator {}
7 impl<T: Tweedledum> Tweedledee for T {}
8 impl<T: Tweedledee> Tweedledum for T {}
10 trait Combo: IntoIterator {}
11 impl<T: Tweedledee + Tweedledum> Combo for T {}
13 fn is_ee<T: Combo>(t: T) {
19 //~^ ERROR overflow evaluating the requirement `{integer}: Tweedle