src/test/ui/associated-inherent-types/struct-generics.rs

   1 // check-pass
   2
   3 #![feature(inherent_associated_types)]
   4 #![allow(incomplete_features)]
   5
   6 struct S<T>(T);
   7
   8 impl<T> S<T> {
   9     type P = T;
  10 }
  11
  12 fn main() {
  13     type A = S<()>::P;
  14     let _: A = ();
  15 }