src/test/ui/associated-inherent-types/normalize-projection-1.rs

   1 // check-pass
   2
   3 #![feature(inherent_associated_types)]
   4 #![allow(incomplete_features)]
   5
   6 struct S;
   7
   8 impl S {
   9     type P<T: O> = <T as O>::P;
  10 }
  11
  12 trait O {
  13     type P;
  14 }
  15
  16 impl O for i32 {
  17     type P = String;
  18 }
  19
  20 fn main() {
  21     let _: S::P<i32> = String::new();
  22 }