src/test/ui/specialization/issue-45814.rs

   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)]
   6
   7 pub trait Trait<T> {}
   8
   9 default impl<T, U> Trait<T> for U {}
  10
  11 impl<T> Trait<<T as Iterator>::Item> for T {}
  12
  13 fn main() {}