diff options
Diffstat (limited to 'src/test/ui/builtin-superkinds/builtin-superkinds-capabilities.rs')
-rw-r--r-- | src/test/ui/builtin-superkinds/builtin-superkinds-capabilities.rs | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/test/ui/builtin-superkinds/builtin-superkinds-capabilities.rs b/src/test/ui/builtin-superkinds/builtin-superkinds-capabilities.rs deleted file mode 100644 index e936f921a..000000000 --- a/src/test/ui/builtin-superkinds/builtin-superkinds-capabilities.rs +++ /dev/null @@ -1,21 +0,0 @@ -// run-pass -// Tests "capabilities" granted by traits that inherit from super- -// builtin-kinds, e.g., if a trait requires Send to implement, then -// at usage site of that trait, we know we have the Send capability. - - -use std::sync::mpsc::{channel, Sender, Receiver}; - -trait Foo : Send { } - -impl <T: Send> Foo for T { } - -fn foo<T: Foo + 'static>(val: T, chan: Sender<T>) { - chan.send(val).unwrap(); -} - -pub fn main() { - let (tx, rx): (Sender<isize>, Receiver<isize>) = channel(); - foo(31337, tx); - assert_eq!(rx.recv().unwrap(), 31337); -} |