// run-pass | |
#![allow(dead_code)] | |
// Tests that even when a type parameter doesn't implement a required | |
// super-builtin-kind of a trait, if the type parameter is never used, | |
// the type can implement the trait anyway. | |
// pretty-expanded FIXME #23616 | |
use std::marker; | |
trait Foo : Send { } | |
struct X<T> { marker: marker::PhantomData<T> } | |
impl<T:Send> Foo for X<T> { } | |
pub fn main() { } |