diff --git a/src/test/run-pass/builtin-superkinds-capabilities-transitive.rs b/src/test/run-pass/builtin-superkinds-capabilities-transitive.rs new file mode 100644 index 000000000000..8b9cd0574574 --- /dev/null +++ b/src/test/run-pass/builtin-superkinds-capabilities-transitive.rs @@ -0,0 +1,25 @@ +// Copyright 2013 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +trait Bar : Send { } +trait Foo : Bar { } + +impl Foo for T { } +impl Bar for T { } + +fn foo(val: T, chan: std::comm::Chan) { + chan.send(val); +} + +fn main() { + let (p,c) = std::comm::stream(); + foo(31337, c); + assert!(p.recv() == 31337); +} diff --git a/src/test/run-pass/builtin-superkinds-capabilities-xc.rs b/src/test/run-pass/builtin-superkinds-capabilities-xc.rs new file mode 100644 index 000000000000..850128962537 --- /dev/null +++ b/src/test/run-pass/builtin-superkinds-capabilities-xc.rs @@ -0,0 +1,30 @@ +// Copyright 2013 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +// aux-build:trait_superkinds_in_metadata.rs + +extern mod trait_superkinds_in_metadata; +use trait_superkinds_in_metadata::{Foo, Bar}; + +#[deriving(Eq)] +struct X(T); + +impl Bar for X { } +impl Foo for X { } + +fn foo(val: T, chan: std::comm::Chan) { + chan.send(val); +} + +fn main() { + let (p,c) = std::comm::stream(); + foo(X(31337), c); + assert!(p.recv() == X(31337)); +} diff --git a/src/test/run-pass/builtin-superkinds-capabilities.rs b/src/test/run-pass/builtin-superkinds-capabilities.rs new file mode 100644 index 000000000000..639c78bd657b --- /dev/null +++ b/src/test/run-pass/builtin-superkinds-capabilities.rs @@ -0,0 +1,23 @@ +// Copyright 2013 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +trait Foo : Send { } + +impl Foo for T { } + +fn foo(val: T, chan: std::comm::Chan) { + chan.send(val); +} + +fn main() { + let (p,c) = std::comm::stream(); + foo(31337, c); + assert!(p.recv() == 31337); +}