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

   1 //~ ERROR overflow evaluating the requirement `T: Trait<_>`
   2
   3 #![feature(specialization)]
   4 #![allow(incomplete_features)]
   5
   6 pub trait Trait<T> {}
   7
   8 default impl<T, U> Trait<T> for U {}
   9
  10 impl<T> Trait<<T as Iterator>::Item> for T {}
  11
  12 fn main() {}