src/test/ui/issues/issue-29857.rs

   1 // check-pass
   2
   3 use std::marker::PhantomData;
   4
   5 pub trait Foo<P> {}
   6
   7 impl <P, T: Foo<P>> Foo<P> for Option<T> {}
   8
   9 pub struct Qux<T> (PhantomData<*mut T>);
  10
  11 impl<T> Foo<*mut T> for Option<Qux<T>> {}
  12
  13 pub trait Bar {
  14     type Output: 'static;
  15 }
  16
  17 impl<T: 'static, W: Bar<Output = T>> Foo<*mut T> for W {}
  18
  19 fn main() {}