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