1 //~ ERROR overflow evaluating the requirement `T: Trait<_>`
2 // revisions: current negative
3 #![feature(specialization)]
4 #![cfg_attr(negative, feature(with_negative_coherence))]
5 #![allow(incomplete_features)]
9 default impl<T, U> Trait<T> for U {}
11 impl<T> Trait<<T as Iterator>::Item> for T {}