src/test/ui/rfc1598-generic-associated-types/parse/in-trait.rs

   1 // build-pass (FIXME(62277): could be check-pass?)
   2 // compile-flags: -Z parse-only
   3
   4 #![feature(generic_associated_types)]
   5
   6 use std::ops::Deref;
   7
   8 trait Foo {
   9     type Bar<'a>;
  10     type Bar<'a, 'b>;
  11     type Bar<'a, 'b,>;
  12     type Bar<'a, 'b, T>;
  13     type Bar<'a, 'b, T, U>;
  14     type Bar<'a, 'b, T, U,>;
  15     type Bar<'a, 'b, T: Debug, U,>;
  16     type Bar<'a, 'b, T: Debug, U,>: Debug;
  17     type Bar<'a, 'b, T: Debug, U,>: Deref<Target = T> + Into<U>;
  18     type Bar<'a, 'b, T: Debug, U,> where T: Deref<Target = U>, U: Into<T>;
  19     type Bar<'a, 'b, T: Debug, U,>: Deref<Target = T> + Into<U>
  20         where T: Deref<Target = U>, U: Into<T>;
  21 }
  22
  23 fn main() {}