bless tests

yay, I fixed the bug/missing feature :')
This commit is contained in:
Waffle Lapkin 2025-01-17 14:57:22 +01:00
parent b62d58f541
commit 80157a560f
No known key found for this signature in database
7 changed files with 75 additions and 244 deletions

View File

@ -10,16 +10,12 @@ struct X<T: ?Sized>(T);
fn unwrap(a: *const W<dyn A>) -> *const (dyn A + Send) {
a as _
//~^ error
//~| error
//~| error
//~^ 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
//~| error
//~| error
//~^ error: cannot add auto trait `Send` to dyn bound via pointer cast
}
fn rewrap(a: *const W<dyn A>) -> *const X<dyn A + Send> {

View File

@ -1,87 +1,5 @@
error[E0277]: the trait bound `W<(dyn A + 'static)>: A` is not satisfied
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:12:5
|
LL | a as _
| ^ the trait `A` is not implemented for `W<(dyn A + 'static)>`
|
help: this trait has no implementations, consider adding one
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:6:1
|
LL | trait A {}
| ^^^^^^^
= note: required for the cast from `*const W<(dyn A + 'static)>` to `*const dyn A + Send`
error[E0277]: `(dyn A + 'static)` cannot be sent between threads safely
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:12:5
|
LL | a as _
| ^ `(dyn A + 'static)` cannot be sent between threads safely
|
= help: within `W<(dyn A + 'static)>`, the trait `Send` is not implemented for `(dyn A + 'static)`
note: required because it appears within the type `W<(dyn A + 'static)>`
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:8:8
|
LL | struct W<T: ?Sized>(T);
| ^
= note: required for the cast from `*const W<(dyn A + 'static)>` to `*const dyn A + Send`
error[E0277]: the size for values of type `(dyn A + 'static)` cannot be known at compilation time
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:12:5
|
LL | a as _
| ^ doesn't have a size known at compile-time
|
= help: within `W<(dyn A + 'static)>`, the trait `Sized` is not implemented for `(dyn A + 'static)`
note: required because it appears within the type `W<(dyn A + 'static)>`
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:8:8
|
LL | struct W<T: ?Sized>(T);
| ^
= note: required for the cast from `*const W<(dyn A + 'static)>` to `*const dyn A + Send`
error[E0277]: the trait bound `W<(dyn A + 'static)>: A` is not satisfied
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:19:5
|
LL | a as _
| ^ the trait `A` is not implemented for `W<(dyn A + 'static)>`
|
help: this trait has no implementations, consider adding one
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:6:1
|
LL | trait A {}
| ^^^^^^^
= note: required for the cast from `*const W<W<(dyn A + 'static)>>` to `*const W<dyn A + Send>`
error[E0277]: `(dyn A + 'static)` cannot be sent between threads safely
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:19:5
|
LL | a as _
| ^ `(dyn A + 'static)` cannot be sent between threads safely
|
= help: within `W<(dyn A + 'static)>`, the trait `Send` is not implemented for `(dyn A + 'static)`
note: required because it appears within the type `W<(dyn A + 'static)>`
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:8:8
|
LL | struct W<T: ?Sized>(T);
| ^
= note: required for the cast from `*const W<W<(dyn A + 'static)>>` to `*const W<dyn A + Send>`
error[E0277]: the size for values of type `(dyn A + 'static)` cannot be known at compilation time
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:19:5
|
LL | a as _
| ^ doesn't have a size known at compile-time
|
= help: within `W<(dyn A + 'static)>`, the trait `Sized` is not implemented for `(dyn A + 'static)`
note: required because it appears within the type `W<(dyn A + 'static)>`
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:8:8
|
LL | struct W<T: ?Sized>(T);
| ^
= note: required for the cast from `*const W<W<(dyn A + 'static)>>` to `*const W<dyn A + Send>`
error[E0804]: cannot add auto trait `Send` to dyn bound via pointer cast
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:26:5
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:12:5
|
LL | a as _
| ^^^^^^ unsupported cast
@ -90,7 +8,7 @@ LL | a as _
= 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:31:5
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:17:5
|
LL | a as _
| ^^^^^^ unsupported cast
@ -99,7 +17,7 @@ LL | a as _
= 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:36:5
--> $DIR/ptr-to-trait-obj-wrap-add-auto.rs:22:5
|
LL | a as _
| ^^^^^^ unsupported cast
@ -107,7 +25,24 @@ LL | a as _
= note: this could allow UB elsewhere
= help: use `transmute` if you're sure this is sound
error: aborting due to 9 previous errors
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
Some errors have detailed explanations: E0277, E0804.
For more information about an error, try `rustc --explain E0277`.
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`.

View File

@ -10,14 +10,12 @@ struct X<T: ?Sized>(T);
fn unwrap<F, G>(a: *const W<dyn A<F>>) -> *const dyn A<G> {
a as _
//~^ error
//~| error
//~^ 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
//~| error
//~^ 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>> {

View File

@ -1,59 +1,21 @@
error[E0277]: the trait bound `W<(dyn A<F> + 'static)>: A<G>` is not satisfied
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 _
| ^ the trait `A<G>` is not implemented for `W<(dyn A<F> + 'static)>`
| ^^^^^^
|
help: this trait has no implementations, consider adding one
--> $DIR/ptr-to-trait-obj-wrap-different-args.rs:6:1
|
LL | trait A<T> {}
| ^^^^^^^^^^
= note: required for the cast from `*const W<(dyn A<F> + 'static)>` to `*const dyn A<G>`
= note: the trait objects may have different vtables
error[E0277]: the size for values of type `(dyn A<F> + 'static)` cannot be known at compilation time
--> $DIR/ptr-to-trait-obj-wrap-different-args.rs:12:5
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 _
| ^ doesn't have a size known at compile-time
| ^^^^^^
|
= help: within `W<(dyn A<F> + 'static)>`, the trait `Sized` is not implemented for `(dyn A<F> + 'static)`
note: required because it appears within the type `W<(dyn A<F> + 'static)>`
--> $DIR/ptr-to-trait-obj-wrap-different-args.rs:8:8
|
LL | struct W<T: ?Sized>(T);
| ^
= note: required for the cast from `*const W<(dyn A<F> + 'static)>` to `*const dyn A<G>`
error[E0277]: the trait bound `W<(dyn A<F> + 'static)>: A<G>` is not satisfied
--> $DIR/ptr-to-trait-obj-wrap-different-args.rs:18:5
|
LL | a as _
| ^ the trait `A<G>` is not implemented for `W<(dyn A<F> + 'static)>`
|
help: this trait has no implementations, consider adding one
--> $DIR/ptr-to-trait-obj-wrap-different-args.rs:6:1
|
LL | trait A<T> {}
| ^^^^^^^^^^
= note: required for the cast from `*const W<W<(dyn A<F> + 'static)>>` to `*const W<dyn A<G>>`
error[E0277]: the size for values of type `(dyn A<F> + 'static)` cannot be known at compilation time
--> $DIR/ptr-to-trait-obj-wrap-different-args.rs:18:5
|
LL | a as _
| ^ doesn't have a size known at compile-time
|
= help: within `W<(dyn A<F> + 'static)>`, the trait `Sized` is not implemented for `(dyn A<F> + 'static)`
note: required because it appears within the type `W<(dyn A<F> + 'static)>`
--> $DIR/ptr-to-trait-obj-wrap-different-args.rs:8:8
|
LL | struct W<T: ?Sized>(T);
| ^
= note: required for the cast from `*const W<W<(dyn A<F> + 'static)>>` to `*const W<dyn A<G>>`
= 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:24:5
--> $DIR/ptr-to-trait-obj-wrap-different-args.rs:22:5
|
LL | a as _
| ^^^^^^
@ -61,7 +23,7 @@ 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:29:5
--> $DIR/ptr-to-trait-obj-wrap-different-args.rs:27:5
|
LL | a as _
| ^^^^^^
@ -69,14 +31,13 @@ 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:34:5
--> $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 7 previous errors
error: aborting due to 5 previous errors
Some errors have detailed explanations: E0277, E0606.
For more information about an error, try `rustc --explain E0277`.
For more information about this error, try `rustc --explain E0606`.

View File

@ -1,56 +1,56 @@
error[E0277]: the trait bound `W<(dyn A<'a> + 'static)>: A<'b>` is not satisfied
error: lifetime may not live long enough
--> $DIR/ptr-to-trait-obj-wrap-different-regions.rs:12:5
|
LL | fn unwrap<'a, 'b>(a: *const W<dyn A<'a>>) -> *const dyn A<'b> {
| -- -- lifetime `'b` defined here
| |
| lifetime `'a` defined here
LL | a as _
| ^ the trait `A<'b>` is not implemented for `W<(dyn A<'a> + 'static)>`
| ^^^^^^ function was supposed to return data with lifetime `'a` but it is returning data with lifetime `'b`
|
help: this trait has no implementations, consider adding one
--> $DIR/ptr-to-trait-obj-wrap-different-regions.rs:6:1
|
LL | trait A<'a> {}
| ^^^^^^^^^^^
= note: required for the cast from `*const W<(dyn A<'a> + 'static)>` to `*const dyn A<'b>`
= help: consider adding the following bound: `'b: 'a`
error[E0277]: the size for values of type `(dyn A<'a> + 'static)` cannot be known at compilation time
error: lifetime may not live long enough
--> $DIR/ptr-to-trait-obj-wrap-different-regions.rs:12:5
|
LL | fn unwrap<'a, 'b>(a: *const W<dyn A<'a>>) -> *const dyn A<'b> {
| -- -- lifetime `'b` defined here
| |
| lifetime `'a` defined here
LL | a as _
| ^ doesn't have a size known at compile-time
| ^^^^^^ function was supposed to return data with lifetime `'b` but it is returning data with lifetime `'a`
|
= help: within `W<(dyn A<'a> + 'static)>`, the trait `Sized` is not implemented for `(dyn A<'a> + 'static)`
note: required because it appears within the type `W<(dyn A<'a> + 'static)>`
--> $DIR/ptr-to-trait-obj-wrap-different-regions.rs:8:8
|
LL | struct W<T: ?Sized>(T);
| ^
= note: required for the cast from `*const W<(dyn A<'a> + 'static)>` to `*const dyn A<'b>`
= help: consider adding the following bound: `'a: 'b`
error[E0277]: the trait bound `W<(dyn A<'a> + 'static)>: A<'b>` is not satisfied
help: `'b` and `'a` must be the same: replace one with the other
error: lifetime may not live long enough
--> $DIR/ptr-to-trait-obj-wrap-different-regions.rs:18:5
|
LL | fn unwrap_nested<'a, 'b>(a: *const W<W<dyn A<'a>>>) -> *const W<dyn A<'b>> {
| -- -- lifetime `'b` defined here
| |
| lifetime `'a` defined here
LL | a as _
| ^ the trait `A<'b>` is not implemented for `W<(dyn A<'a> + 'static)>`
| ^^^^^^ function was supposed to return data with lifetime `'a` but it is returning data with lifetime `'b`
|
help: this trait has no implementations, consider adding one
--> $DIR/ptr-to-trait-obj-wrap-different-regions.rs:6:1
|
LL | trait A<'a> {}
| ^^^^^^^^^^^
= note: required for the cast from `*const W<W<(dyn A<'a> + 'static)>>` to `*const W<dyn A<'b>>`
= help: consider adding the following bound: `'b: 'a`
error[E0277]: the size for values of type `(dyn A<'a> + 'static)` cannot be known at compilation time
error: lifetime may not live long enough
--> $DIR/ptr-to-trait-obj-wrap-different-regions.rs:18:5
|
LL | fn unwrap_nested<'a, 'b>(a: *const W<W<dyn A<'a>>>) -> *const W<dyn A<'b>> {
| -- -- lifetime `'b` defined here
| |
| lifetime `'a` defined here
LL | a as _
| ^ doesn't have a size known at compile-time
| ^^^^^^ function was supposed to return data with lifetime `'b` but it is returning data with lifetime `'a`
|
= help: within `W<(dyn A<'a> + 'static)>`, the trait `Sized` is not implemented for `(dyn A<'a> + 'static)`
note: required because it appears within the type `W<(dyn A<'a> + 'static)>`
--> $DIR/ptr-to-trait-obj-wrap-different-regions.rs:8:8
= help: consider adding the following bound: `'a: 'b`
help: `'b` and `'a` must be the same: replace one with the other
|
LL | struct W<T: ?Sized>(T);
| ^
= note: required for the cast from `*const W<W<(dyn A<'a> + 'static)>>` to `*const W<dyn A<'b>>`
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
error: lifetime may not live long enough
--> $DIR/ptr-to-trait-obj-wrap-different-regions.rs:24:5
@ -77,6 +77,8 @@ LL | a as _
= help: consider adding the following bound: `'a: 'b`
help: `'b` and `'a` must be the same: replace one with the other
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
error: lifetime may not live long enough
--> $DIR/ptr-to-trait-obj-wrap-different-regions.rs:30:5
@ -136,4 +138,3 @@ help: `'b` and `'a` must be the same: replace one with the other
error: aborting due to 10 previous errors
For more information about this error, try `rustc --explain E0277`.

View File

@ -3,6 +3,7 @@
// structure, so these casts *are* fine.
//
// `unwrap` and `unwrap_nested` currently don't work due to a compiler limitation.
//@ check-pass
trait A {}
@ -11,14 +12,10 @@ struct X<T: ?Sized>(T);
fn unwrap(a: *const W<dyn A>) -> *const dyn A {
a as _
//~^ error
//~| error
}
fn unwrap_nested(a: *const W<W<dyn A>>) -> *const W<dyn A> {
a as _
//~^ error
//~| error
}
fn rewrap(a: *const W<dyn A>) -> *const X<dyn A> {

View File

@ -1,57 +0,0 @@
error[E0277]: the trait bound `W<(dyn A + 'static)>: A` is not satisfied
--> $DIR/ptr-to-trait-obj-wrap.rs:13:5
|
LL | a as _
| ^ the trait `A` is not implemented for `W<(dyn A + 'static)>`
|
help: this trait has no implementations, consider adding one
--> $DIR/ptr-to-trait-obj-wrap.rs:7:1
|
LL | trait A {}
| ^^^^^^^
= note: required for the cast from `*const W<(dyn A + 'static)>` to `*const dyn A`
error[E0277]: the size for values of type `(dyn A + 'static)` cannot be known at compilation time
--> $DIR/ptr-to-trait-obj-wrap.rs:13:5
|
LL | a as _
| ^ doesn't have a size known at compile-time
|
= help: within `W<(dyn A + 'static)>`, the trait `Sized` is not implemented for `(dyn A + 'static)`
note: required because it appears within the type `W<(dyn A + 'static)>`
--> $DIR/ptr-to-trait-obj-wrap.rs:9:8
|
LL | struct W<T: ?Sized>(T);
| ^
= note: required for the cast from `*const W<(dyn A + 'static)>` to `*const dyn A`
error[E0277]: the trait bound `W<(dyn A + 'static)>: A` is not satisfied
--> $DIR/ptr-to-trait-obj-wrap.rs:19:5
|
LL | a as _
| ^ the trait `A` is not implemented for `W<(dyn A + 'static)>`
|
help: this trait has no implementations, consider adding one
--> $DIR/ptr-to-trait-obj-wrap.rs:7:1
|
LL | trait A {}
| ^^^^^^^
= note: required for the cast from `*const W<W<(dyn A + 'static)>>` to `*const W<dyn A>`
error[E0277]: the size for values of type `(dyn A + 'static)` cannot be known at compilation time
--> $DIR/ptr-to-trait-obj-wrap.rs:19:5
|
LL | a as _
| ^ doesn't have a size known at compile-time
|
= help: within `W<(dyn A + 'static)>`, the trait `Sized` is not implemented for `(dyn A + 'static)`
note: required because it appears within the type `W<(dyn A + 'static)>`
--> $DIR/ptr-to-trait-obj-wrap.rs:9:8
|
LL | struct W<T: ?Sized>(T);
| ^
= note: required for the cast from `*const W<W<(dyn A + 'static)>>` to `*const W<dyn A>`
error: aborting due to 4 previous errors
For more information about this error, try `rustc --explain E0277`.