1 2 3 4 5 6 7 8 9
// check-pass #![feature(marker_trait_attr)] #[marker] pub trait F {} impl<T> F for T where T: Copy {} impl<T> F for T where T: 'static {} fn main() {}