tests/ui/issues/issue-25679.rs

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