src/test/ui/traits/inductive-overflow/simultaneous.rs

   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
  13 fn is_ee<T: Combo>(t: T) {
  14     t.into_iter();
  15 }
  16
  17 fn main() {
  18     is_ee(4);
  19     //~^ ERROR overflow evaluating the requirement `{integer}: Tweedle
  20 }