summary refs log tree commit diff
path: root/src/test/ui/issues/issue-20413.rs
blob: 19ef52af65736369a6e38b0be7d1e03d8315a29e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
trait Foo {
  fn answer(self);
}

struct NoData<T>;
//~^ ERROR: parameter `T` is never used

impl<T> Foo for T where NoData<T>: Foo {
  //~^ ERROR: overflow evaluating the requirement
  //~| ERROR: overflow evaluating the requirement
  fn answer(self) {
    let val: NoData<T> = NoData;
  }
}

fn main() {}