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

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