4 // Tests that even when a type parameter doesn't implement a required
5 // super-builtin-kind of a trait, if the type parameter is never used,
6 // the type can implement the trait anyway.
8 // pretty-expanded FIXME #23616
14 struct X<T> { marker: marker::PhantomData<T> }
16 impl<T:Send> Foo for X<T> { }