blob: a8f3db5f5b25bb08a6288b2a32e6018f2823c7a8 [file] [log] [blame]
// 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() {}