summaryrefslogtreecommitdiffstats
path: root/src/test/ui/traits/reservation-impl/ok.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/traits/reservation-impl/ok.rs')
-rw-r--r--src/test/ui/traits/reservation-impl/ok.rs28
1 files changed, 0 insertions, 28 deletions
diff --git a/src/test/ui/traits/reservation-impl/ok.rs b/src/test/ui/traits/reservation-impl/ok.rs
deleted file mode 100644
index 611c8d884..000000000
--- a/src/test/ui/traits/reservation-impl/ok.rs
+++ /dev/null
@@ -1,28 +0,0 @@
-// run-pass
-
-// rpass test for reservation impls. Not 100% required because `From` uses them,
-// but still.
-
-#![feature(rustc_attrs)]
-
-use std::mem;
-
-trait MyTrait<S> {
- fn foo(&self, s: S) -> usize;
-}
-
-#[rustc_reservation_impl = "foo"]
-impl<T> MyTrait<u64> for T {
- fn foo(&self, _x: u64) -> usize { 0 }
-}
-
-// reservation impls don't create coherence conflicts, even with
-// non-chain overlap.
-impl<S> MyTrait<S> for u32 {
- fn foo(&self, _x: S) -> usize { mem::size_of::<S>() }
-}
-
-fn main() {
- // ...and the non-reservation impl gets picked.XS
- assert_eq!(0u32.foo(0u64), mem::size_of::<u64>());
-}