src/test/ui/marker_trait_attr/overlapping-impl-1-modulo-regions.rs

// 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() {}