tests/ui/type-alias-impl-trait/impl_trait_for_tait.rs

   1 // compile-flags: --crate-type=lib
   2 // check-pass
   3
   4 #![feature(type_alias_impl_trait)]
   5 type Alias = impl Sized;
   6
   7 fn constrain() -> Alias {
   8     1i32
   9 }
  10
  11 trait HideIt {
  12     type Assoc;
  13 }
  14
  15 impl HideIt for () {
  16     type Assoc = Alias;
  17 }
  18
  19 pub trait Yay {}
  20
  21 impl Yay for <() as HideIt>::Assoc {}