src/test/ui/fn/implied-bounds-unnorm-associated-type-2.rs

   1 // check-fail
   2
   3 trait Trait {
   4     type Type;
   5 }
   6
   7 impl<T> Trait for T {
   8     type Type = ();
   9 }
  10
  11 fn f<'a, 'b>(_: <&'a &'b () as Trait>::Type)
  12 where
  13     'a: 'a,
  14     'b: 'b,
  15 {
  16 }
  17
  18 fn g<'a, 'b>() {
  19     f::<'a, 'b>(());
  20     //~^ ERROR lifetime may not live long enough
  21 }
  22
  23 fn main() {}