src/test/ui/issues/issue-20413.rs

   1 trait Foo {
   2   fn answer(self);
   3 }
   4
   5 struct NoData<T>;
   6 //~^ ERROR: parameter `T` is never used
   7
   8 impl<T> Foo for T where NoData<T>: Foo {
   9   //~^ ERROR: overflow evaluating the requirement
  10   //~| ERROR: overflow evaluating the requirement
  11   fn answer(self) {
  12     let val: NoData<T> = NoData;
  13   }
  14 }
  15
  16 fn main() {}