summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/alias/object.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/traits/alias/object.rs')
-rw-r--r--tests/ui/traits/alias/object.rs18
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/ui/traits/alias/object.rs b/tests/ui/traits/alias/object.rs
new file mode 100644
index 000000000..12177cd82
--- /dev/null
+++ b/tests/ui/traits/alias/object.rs
@@ -0,0 +1,18 @@
+// run-pass
+
+#![feature(trait_alias)]
+
+trait Foo = PartialEq<i32> + Send;
+trait Bar = Foo + Sync;
+
+trait I32Iterator = Iterator<Item = i32>;
+
+pub fn main() {
+ let a: &dyn Bar = &123;
+ assert!(*a == 123);
+ let b = Box::new(456) as Box<dyn Foo>;
+ assert!(*b == 456);
+
+ let c: &mut dyn I32Iterator = &mut vec![123].into_iter();
+ assert_eq!(c.next(), Some(123));
+}