]>
Commit | Line | Data |
---|---|---|
b7449926 | 1 | // run-pass |
a7813a04 XL |
2 | #![feature(rustc_attrs)] |
3 | ||
4 | use std::sync::Arc; | |
5 | ||
6 | trait Foo { | |
7 | fn get(&self) -> [u8; 2]; | |
8 | } | |
9 | ||
10 | impl Foo for [u8; 2] { | |
11 | fn get(&self) -> [u8; 2] { | |
12 | *self | |
13 | } | |
14 | } | |
15 | ||
16 | struct Bar<T: ?Sized>(T); | |
17 | ||
dc9dc135 | 18 | fn unsize_fat_ptr<'a>(x: &'a Bar<dyn Foo + Send + 'a>) -> &'a Bar<dyn Foo + 'a> { |
a7813a04 XL |
19 | x |
20 | } | |
21 | ||
dc9dc135 | 22 | fn unsize_nested_fat_ptr(x: Arc<dyn Foo + Send>) -> Arc<dyn Foo> { |
a7813a04 XL |
23 | x |
24 | } | |
25 | ||
a7813a04 | 26 | fn main() { |
dc9dc135 | 27 | let x: Box<Bar<dyn Foo + Send>> = Box::new(Bar([1,2])); |
a7813a04 XL |
28 | assert_eq!(unsize_fat_ptr(&*x).0.get(), [1, 2]); |
29 | ||
dc9dc135 | 30 | let x: Arc<dyn Foo + Send> = Arc::new([3, 4]); |
a7813a04 XL |
31 | assert_eq!(unsize_nested_fat_ptr(x).get(), [3, 4]); |
32 | } |