]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/traits/traits-inductive-overflow-simultaneous.rs
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