1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
// Combination of `ptr-to-trait-obj-wrap.rs` and `ptr-to-trait-obj-add-auto.rs`.
//
// Checks that you *can't* add auto traits to trait object in pointer casts involving wrapping said
// traits structures.
trait A {}
struct W<T: ?Sized>(T);
struct X<T: ?Sized>(T);
fn unwrap(a: *const W<dyn A>) -> *const (dyn A + Send) {
a as _
//~^ error: cannot add auto trait `Send` to dyn bound via pointer cast
}
fn unwrap_nested(a: *const W<W<dyn A>>) -> *const W<dyn A + Send> {
a as _
//~^ error: cannot add auto trait `Send` to dyn bound via pointer cast
}
fn rewrap(a: *const W<dyn A>) -> *const X<dyn A + Send> {
a as _
//~^ error: cannot add auto trait `Send` to dyn bound via pointer cast
}
fn rewrap_nested(a: *const W<W<dyn A>>) -> *const W<X<dyn A + Send>> {
a as _
//~^ error: cannot add auto trait `Send` to dyn bound via pointer cast
}
fn wrap(a: *const dyn A) -> *const W<dyn A + Send> {
a as _
//~^ error: cannot add auto trait `Send` to dyn bound via pointer cast
}
fn main() {}
|
