diff options
| author | Waffle Lapkin <waffle.lapkin@gmail.com> | 2024-06-04 15:21:09 +0200 |
|---|---|---|
| committer | Maybe Lapkin <waffle.lapkin@gmail.com> | 2024-07-04 17:56:09 +0200 |
| commit | e85295c3215bb9125e221df65feb563987045225 (patch) | |
| tree | c3671255efbe28122cf343eccf458281f1f82866 | |
| parent | eac4916c90eb198e2c135cec9ac253d48e10395d (diff) | |
| download | rust-e85295c3215bb9125e221df65feb563987045225.tar.gz rust-e85295c3215bb9125e221df65feb563987045225.zip | |
test blessing
| -rw-r--r-- | tests/ui/cast/ptr-to-trait-obj-add-auto.rs | 2 | ||||
| -rw-r--r-- | tests/ui/cast/ptr-to-trait-obj-different-args.rs | 3 | ||||
| -rw-r--r-- | tests/ui/cast/ptr-to-trait-obj-different-args.stderr | 10 | ||||
| -rw-r--r-- | tests/ui/cast/ptr-to-trait-obj-different-regions-lt-ext.rs | 2 | ||||
| -rw-r--r-- | tests/ui/cast/ptr-to-trait-obj-different-regions-misc.rs | 2 | ||||
| -rw-r--r-- | tests/ui/cast/ptr-to-trait-obj-ok.rs | 2 | ||||
| -rw-r--r-- | tests/ui/traits/upcast_soundness_bug.rs | 2 |
7 files changed, 11 insertions, 12 deletions
diff --git a/tests/ui/cast/ptr-to-trait-obj-add-auto.rs b/tests/ui/cast/ptr-to-trait-obj-add-auto.rs index 4758132b65d..27c6ffb61cc 100644 --- a/tests/ui/cast/ptr-to-trait-obj-add-auto.rs +++ b/tests/ui/cast/ptr-to-trait-obj-add-auto.rs @@ -1,4 +1,4 @@ -// check-fail +//@ check-fail trait Trait<'a> {} diff --git a/tests/ui/cast/ptr-to-trait-obj-different-args.rs b/tests/ui/cast/ptr-to-trait-obj-different-args.rs index 7488cf5ee97..41b6633d68a 100644 --- a/tests/ui/cast/ptr-to-trait-obj-different-args.rs +++ b/tests/ui/cast/ptr-to-trait-obj-different-args.rs @@ -1,8 +1,7 @@ -// check-fail +//@ check-fail // // issue: <https://github.com/rust-lang/rust/issues/120222> - trait A {} impl<T> A for T {} trait B {} diff --git a/tests/ui/cast/ptr-to-trait-obj-different-args.stderr b/tests/ui/cast/ptr-to-trait-obj-different-args.stderr index e2cd9c8fa90..74a95d85d4e 100644 --- a/tests/ui/cast/ptr-to-trait-obj-different-args.stderr +++ b/tests/ui/cast/ptr-to-trait-obj-different-args.stderr @@ -1,5 +1,5 @@ error[E0277]: the trait bound `dyn A: Unsize<dyn B>` is not satisfied - --> $DIR/ptr-to-trait-obj-different-args.rs:19:27 + --> $DIR/ptr-to-trait-obj-different-args.rs:18:27 | LL | let b: *const dyn B = a as _; | ^^^^^^ the trait `Unsize<dyn B>` is not implemented for `dyn A` @@ -7,7 +7,7 @@ LL | let b: *const dyn B = a as _; = note: all implementations of `Unsize` are provided automatically by the compiler, see <https://doc.rust-lang.org/stable/std/marker/trait.Unsize.html> for more information error[E0277]: the trait bound `dyn Trait<X>: Unsize<dyn Trait<Y>>` is not satisfied - --> $DIR/ptr-to-trait-obj-different-args.rs:22:34 + --> $DIR/ptr-to-trait-obj-different-args.rs:21:34 | LL | let y: *const dyn Trait<Y> = x as _; | ^^^^^^ the trait `Unsize<dyn Trait<Y>>` is not implemented for `dyn Trait<X>` @@ -15,7 +15,7 @@ LL | let y: *const dyn Trait<Y> = x as _; = note: all implementations of `Unsize` are provided automatically by the compiler, see <https://doc.rust-lang.org/stable/std/marker/trait.Unsize.html> for more information error[E0277]: the trait bound `dyn Trait<X>: Unsize<dyn Trait<T>>` is not satisfied - --> $DIR/ptr-to-trait-obj-different-args.rs:28:34 + --> $DIR/ptr-to-trait-obj-different-args.rs:27:34 | LL | let _: *const dyn Trait<T> = x as _; | ^^^^^^ the trait `Unsize<dyn Trait<T>>` is not implemented for `dyn Trait<X>` @@ -27,7 +27,7 @@ LL | fn generic<T>(x: *const dyn Trait<X>, t: *const dyn Trait<T>) where dyn Tra | ++++++++++++++++++++++++++++++++++++++++ error[E0277]: the trait bound `dyn Trait<T>: Unsize<dyn Trait<X>>` is not satisfied - --> $DIR/ptr-to-trait-obj-different-args.rs:29:34 + --> $DIR/ptr-to-trait-obj-different-args.rs:28:34 | LL | let _: *const dyn Trait<X> = t as _; | ^^^^^^ the trait `Unsize<dyn Trait<X>>` is not implemented for `dyn Trait<T>` @@ -39,7 +39,7 @@ LL | fn generic<T>(x: *const dyn Trait<X>, t: *const dyn Trait<T>) where dyn Tra | ++++++++++++++++++++++++++++++++++++++++ error[E0277]: the trait bound `dyn Assocked<Assoc = u8>: Unsize<dyn Assocked<Assoc = u32>>` is not satisfied - --> $DIR/ptr-to-trait-obj-different-args.rs:37:5 + --> $DIR/ptr-to-trait-obj-different-args.rs:36:5 | LL | x as _ | ^^^^^^ the trait `Unsize<dyn Assocked<Assoc = u32>>` is not implemented for `dyn Assocked<Assoc = u8>` diff --git a/tests/ui/cast/ptr-to-trait-obj-different-regions-lt-ext.rs b/tests/ui/cast/ptr-to-trait-obj-different-regions-lt-ext.rs index d994723981f..96345de01c9 100644 --- a/tests/ui/cast/ptr-to-trait-obj-different-regions-lt-ext.rs +++ b/tests/ui/cast/ptr-to-trait-obj-different-regions-lt-ext.rs @@ -1,4 +1,4 @@ -// check-fail +//@ check-fail // // issue: <https://github.com/rust-lang/rust/issues/120217> diff --git a/tests/ui/cast/ptr-to-trait-obj-different-regions-misc.rs b/tests/ui/cast/ptr-to-trait-obj-different-regions-misc.rs index ea17fcd0da5..01c347bfae5 100644 --- a/tests/ui/cast/ptr-to-trait-obj-different-regions-misc.rs +++ b/tests/ui/cast/ptr-to-trait-obj-different-regions-misc.rs @@ -1,4 +1,4 @@ -// check-fail +//@ check-fail trait Trait<'a> {} diff --git a/tests/ui/cast/ptr-to-trait-obj-ok.rs b/tests/ui/cast/ptr-to-trait-obj-ok.rs index 84d11bcb8eb..656c99c58dc 100644 --- a/tests/ui/cast/ptr-to-trait-obj-ok.rs +++ b/tests/ui/cast/ptr-to-trait-obj-ok.rs @@ -1,4 +1,4 @@ -// check-pass +//@ check-pass trait Trait<'a> {} diff --git a/tests/ui/traits/upcast_soundness_bug.rs b/tests/ui/traits/upcast_soundness_bug.rs index 3229a74f3ce..dd59f8cee50 100644 --- a/tests/ui/traits/upcast_soundness_bug.rs +++ b/tests/ui/traits/upcast_soundness_bug.rs @@ -1,5 +1,5 @@ #![feature(trait_upcasting)] -// check-fail +//@ check-fail // // issue: <https://github.com/rust-lang/rust/pull/120222> //! This would segfault at runtime. |
