forked from rust-lang/rust
-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of rust-lang#136127 - WaffleLapkin:dyn_ptr_unwrap_cast, …
…r=compiler-errors Allow `*const W<dyn A> -> *const dyn A` ptr cast Followup of rust-lang#120248 (comment). This PR allows casting pointers from something wrapping a trait object, to the trait object, i.e. `*const W<dyn A> -> *const dyn A` where `W` is `struct W<T: ?Sized>(T);`. r? compiler-errors Fixes rust-lang#128625
- Loading branch information
Showing
8 changed files
with
437 additions
and
8 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,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() {} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,48 @@ | ||
error[E0804]: cannot add auto trait `Send` to dyn bound via pointer cast | ||
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:12:5 | ||
| | ||
LL | a as _ | ||
| ^^^^^^ unsupported cast | ||
| | ||
= note: this could allow UB elsewhere | ||
= help: use `transmute` if you're sure this is sound | ||
|
||
error[E0804]: cannot add auto trait `Send` to dyn bound via pointer cast | ||
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:17:5 | ||
| | ||
LL | a as _ | ||
| ^^^^^^ unsupported cast | ||
| | ||
= note: this could allow UB elsewhere | ||
= help: use `transmute` if you're sure this is sound | ||
|
||
error[E0804]: cannot add auto trait `Send` to dyn bound via pointer cast | ||
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:22:5 | ||
| | ||
LL | a as _ | ||
| ^^^^^^ unsupported cast | ||
| | ||
= note: this could allow UB elsewhere | ||
= help: use `transmute` if you're sure this is sound | ||
|
||
error[E0804]: cannot add auto trait `Send` to dyn bound via pointer cast | ||
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:27:5 | ||
| | ||
LL | a as _ | ||
| ^^^^^^ unsupported cast | ||
| | ||
= note: this could allow UB elsewhere | ||
= help: use `transmute` if you're sure this is sound | ||
|
||
error[E0804]: cannot add auto trait `Send` to dyn bound via pointer cast | ||
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:32:5 | ||
| | ||
LL | a as _ | ||
| ^^^^^^ unsupported cast | ||
| | ||
= note: this could allow UB elsewhere | ||
= help: use `transmute` if you're sure this is sound | ||
|
||
error: aborting due to 5 previous errors | ||
|
||
For more information about this error, try `rustc --explain E0804`. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,36 @@ | ||
// Combination of `ptr-to-trait-obj-different-args.rs` and `ptr-to-trait-obj-wrap.rs`. | ||
// | ||
// Checks that you *can't* change type arguments of trait objects in pointer casts involving | ||
// wrapping said traits structures. | ||
|
||
trait A<T> {} | ||
|
||
struct W<T: ?Sized>(T); | ||
struct X<T: ?Sized>(T); | ||
|
||
fn unwrap<F, G>(a: *const W<dyn A<F>>) -> *const dyn A<G> { | ||
a as _ | ||
//~^ error casting `*const W<(dyn A<F> + 'static)>` as `*const dyn A<G>` is invalid | ||
} | ||
|
||
fn unwrap_nested<F, G>(a: *const W<W<dyn A<F>>>) -> *const W<dyn A<G>> { | ||
a as _ | ||
//~^ error casting `*const W<W<(dyn A<F> + 'static)>>` as `*const W<dyn A<G>>` is invalid | ||
} | ||
|
||
fn rewrap<F, G>(a: *const W<dyn A<F>>) -> *const X<dyn A<G>> { | ||
a as _ | ||
//~^ error: casting `*const W<(dyn A<F> + 'static)>` as `*const X<dyn A<G>>` is invalid | ||
} | ||
|
||
fn rewrap_nested<F, G>(a: *const W<W<dyn A<F>>>) -> *const W<X<dyn A<G>>> { | ||
a as _ | ||
//~^ error: casting `*const W<W<(dyn A<F> + 'static)>>` as `*const W<X<dyn A<G>>>` is invalid | ||
} | ||
|
||
fn wrap<F, G>(a: *const dyn A<F>) -> *const W<dyn A<G>> { | ||
a as _ | ||
//~^ error: casting `*const (dyn A<F> + 'static)` as `*const W<dyn A<G>>` is invalid | ||
} | ||
|
||
fn main() {} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,43 @@ | ||
error[E0606]: casting `*const W<(dyn A<F> + 'static)>` as `*const dyn A<G>` is invalid | ||
--> $DIR/ptr-to-trait-obj-wrap-different-args.rs:12:5 | ||
| | ||
LL | a as _ | ||
| ^^^^^^ | ||
| | ||
= note: the trait objects may have different vtables | ||
|
||
error[E0606]: casting `*const W<W<(dyn A<F> + 'static)>>` as `*const W<dyn A<G>>` is invalid | ||
--> $DIR/ptr-to-trait-obj-wrap-different-args.rs:17:5 | ||
| | ||
LL | a as _ | ||
| ^^^^^^ | ||
| | ||
= note: the trait objects may have different vtables | ||
|
||
error[E0606]: casting `*const W<(dyn A<F> + 'static)>` as `*const X<dyn A<G>>` is invalid | ||
--> $DIR/ptr-to-trait-obj-wrap-different-args.rs:22:5 | ||
| | ||
LL | a as _ | ||
| ^^^^^^ | ||
| | ||
= note: the trait objects may have different vtables | ||
|
||
error[E0606]: casting `*const W<W<(dyn A<F> + 'static)>>` as `*const W<X<dyn A<G>>>` is invalid | ||
--> $DIR/ptr-to-trait-obj-wrap-different-args.rs:27:5 | ||
| | ||
LL | a as _ | ||
| ^^^^^^ | ||
| | ||
= note: the trait objects may have different vtables | ||
|
||
error[E0606]: casting `*const (dyn A<F> + 'static)` as `*const W<dyn A<G>>` is invalid | ||
--> $DIR/ptr-to-trait-obj-wrap-different-args.rs:32:5 | ||
| | ||
LL | a as _ | ||
| ^^^^^^ | ||
| | ||
= note: the trait objects may have different vtables | ||
|
||
error: aborting due to 5 previous errors | ||
|
||
For more information about this error, try `rustc --explain E0606`. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,41 @@ | ||
// Combination of `ptr-to-trait-obj-different-regions-misc.rs` and `ptr-to-trait-obj-wrap.rs`. | ||
// | ||
// Checks that you *can't* change lifetime arguments of trait objects in pointer casts involving | ||
// wrapping said traits structures. | ||
|
||
trait A<'a> {} | ||
|
||
struct W<T: ?Sized>(T); | ||
struct X<T: ?Sized>(T); | ||
|
||
fn unwrap<'a, 'b>(a: *const W<dyn A<'a>>) -> *const dyn A<'b> { | ||
a as _ | ||
//~^ error | ||
//~| error | ||
} | ||
|
||
fn unwrap_nested<'a, 'b>(a: *const W<W<dyn A<'a>>>) -> *const W<dyn A<'b>> { | ||
a as _ | ||
//~^ error | ||
//~| error | ||
} | ||
|
||
fn rewrap<'a, 'b>(a: *const W<dyn A<'a>>) -> *const X<dyn A<'b>> { | ||
a as _ | ||
//~^ error: lifetime may not live long enough | ||
//~| error: lifetime may not live long enough | ||
} | ||
|
||
fn rewrap_nested<'a, 'b>(a: *const W<W<dyn A<'a>>>) -> *const W<X<dyn A<'b>>> { | ||
a as _ | ||
//~^ error: lifetime may not live long enough | ||
//~| error: lifetime may not live long enough | ||
} | ||
|
||
fn wrap<'a, 'b>(a: *const dyn A<'a>) -> *const W<dyn A<'b>> { | ||
a as _ | ||
//~^ error: lifetime may not live long enough | ||
//~| error: lifetime may not live long enough | ||
} | ||
|
||
fn main() {} |
Oops, something went wrong.