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

   1 #![feature(type_alias_impl_trait)]
   2
   3 use std::fmt::Debug;
   4
   5 type Foo = impl Debug;
   6 pub trait Yay { }
   7 impl Yay for Foo { }
   8
   9 fn foo() {
  10     is_yay::<u32>();   //~ ERROR: the trait bound `u32: Yay` is not satisfied
  11     is_debug::<u32>(); // OK
  12     is_yay::<Foo>();   // OK
  13     is_debug::<Foo>(); // OK
  14 }
  15
  16 fn is_yay<T: Yay>() { }
  17 fn is_debug<T: Debug>() { }
  18
  19 fn main() {}