summaryrefslogtreecommitdiffstats
path: root/tests/ui/marker_trait_attr/overlapping-impl-1-modulo-regions.rs
blob: a8f3db5f5b25bb08a6288b2a32e6018f2823c7a8 (plain)
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() {}