2 //~^ ERROR overflow evaluating the requirement `i32: Check`
4 #![feature(specialization)]
5 //~^ WARN the feature `specialization` is incomplete
11 impl<'a, T> Iterate<'a> for T
16 default fn iterate(self) {}
20 impl<'a, T> Check for T where <T as Iterate<'a>>::Ty: Valid {}