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

   1 // run-pass
   2 trait Device {
   3     type Resources;
   4 }
   5 struct Foo<D, R>(D, R);
   6
   7 impl<D: Device> Foo<D, D::Resources> {
   8     fn present(&self) {}
   9 }
  10
  11 struct Res;
  12 struct Dev;
  13
  14 impl Device for Dev { type Resources = Res; }
  15
  16 fn main() {
  17     let foo = Foo(Dev, Res);
  18     foo.present();
  19 }