diff options
Diffstat (limited to 'src/test/ui/marker_trait_attr/overlapping-impl-1-modulo-regions.rs')
-rw-r--r-- | src/test/ui/marker_trait_attr/overlapping-impl-1-modulo-regions.rs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/test/ui/marker_trait_attr/overlapping-impl-1-modulo-regions.rs b/src/test/ui/marker_trait_attr/overlapping-impl-1-modulo-regions.rs new file mode 100644 index 000000000..a8f3db5f5 --- /dev/null +++ b/src/test/ui/marker_trait_attr/overlapping-impl-1-modulo-regions.rs @@ -0,0 +1,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() {} |