summaryrefslogtreecommitdiffstats
path: root/tests/ui/kindck
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
commit218caa410aa38c29984be31a5229b9fa717560ee (patch)
treec54bd55eeb6e4c508940a30e94c0032fbd45d677 /tests/ui/kindck
parentReleasing progress-linux version 1.67.1+dfsg1-1~progress7.99u1. (diff)
downloadrustc-218caa410aa38c29984be31a5229b9fa717560ee.tar.xz
rustc-218caa410aa38c29984be31a5229b9fa717560ee.zip
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r--tests/ui/kindck/kindck-copy.rs (renamed from src/test/ui/kindck/kindck-copy.rs)0
-rw-r--r--tests/ui/kindck/kindck-copy.stderr (renamed from src/test/ui/kindck/kindck-copy.stderr)12
-rw-r--r--tests/ui/kindck/kindck-impl-type-params-2.rs (renamed from src/test/ui/kindck/kindck-impl-type-params-2.rs)0
-rw-r--r--tests/ui/kindck/kindck-impl-type-params-2.stderr (renamed from src/test/ui/kindck/kindck-impl-type-params-2.stderr)4
-rw-r--r--tests/ui/kindck/kindck-impl-type-params.rs (renamed from src/test/ui/kindck/kindck-impl-type-params.rs)0
-rw-r--r--tests/ui/kindck/kindck-impl-type-params.stderr (renamed from src/test/ui/kindck/kindck-impl-type-params.stderr)24
-rw-r--r--tests/ui/kindck/kindck-inherited-copy-bound.curr.stderr (renamed from src/test/ui/kindck/kindck-inherited-copy-bound.curr.stderr)4
-rw-r--r--tests/ui/kindck/kindck-inherited-copy-bound.object_safe_for_dispatch.stderr (renamed from src/test/ui/kindck/kindck-inherited-copy-bound.object_safe_for_dispatch.stderr)4
-rw-r--r--tests/ui/kindck/kindck-inherited-copy-bound.rs (renamed from src/test/ui/kindck/kindck-inherited-copy-bound.rs)0
-rw-r--r--tests/ui/kindck/kindck-nonsendable-1.rs (renamed from src/test/ui/kindck/kindck-nonsendable-1.rs)0
-rw-r--r--tests/ui/kindck/kindck-nonsendable-1.stderr (renamed from src/test/ui/kindck/kindck-nonsendable-1.stderr)0
-rw-r--r--tests/ui/kindck/kindck-send-object.rs (renamed from src/test/ui/kindck/kindck-send-object.rs)0
-rw-r--r--tests/ui/kindck/kindck-send-object.stderr (renamed from src/test/ui/kindck/kindck-send-object.stderr)0
-rw-r--r--tests/ui/kindck/kindck-send-object1.rs (renamed from src/test/ui/kindck/kindck-send-object1.rs)0
-rw-r--r--tests/ui/kindck/kindck-send-object1.stderr (renamed from src/test/ui/kindck/kindck-send-object1.stderr)0
-rw-r--r--tests/ui/kindck/kindck-send-object2.rs (renamed from src/test/ui/kindck/kindck-send-object2.rs)0
-rw-r--r--tests/ui/kindck/kindck-send-object2.stderr (renamed from src/test/ui/kindck/kindck-send-object2.stderr)0
-rw-r--r--tests/ui/kindck/kindck-send-owned.rs (renamed from src/test/ui/kindck/kindck-send-owned.rs)0
-rw-r--r--tests/ui/kindck/kindck-send-owned.stderr (renamed from src/test/ui/kindck/kindck-send-owned.stderr)0
-rw-r--r--tests/ui/kindck/kindck-send-unsafe.rs (renamed from src/test/ui/kindck/kindck-send-unsafe.rs)0
-rw-r--r--tests/ui/kindck/kindck-send-unsafe.rs~rust-lang_master (renamed from src/test/ui/kindck/kindck-send-unsafe.rs~rust-lang_master)0
-rw-r--r--tests/ui/kindck/kindck-send-unsafe.stderr (renamed from src/test/ui/kindck/kindck-send-unsafe.stderr)0
22 files changed, 37 insertions, 11 deletions
diff --git a/src/test/ui/kindck/kindck-copy.rs b/tests/ui/kindck/kindck-copy.rs
index 6df98c230..6df98c230 100644
--- a/src/test/ui/kindck/kindck-copy.rs
+++ b/tests/ui/kindck/kindck-copy.rs
diff --git a/src/test/ui/kindck/kindck-copy.stderr b/tests/ui/kindck/kindck-copy.stderr
index 9af89159a..aee2aa98a 100644
--- a/src/test/ui/kindck/kindck-copy.stderr
+++ b/tests/ui/kindck/kindck-copy.stderr
@@ -4,12 +4,16 @@ error[E0277]: the trait bound `&'static mut isize: Copy` is not satisfied
LL | assert_copy::<&'static mut isize>();
| ^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `&'static mut isize`
|
- = help: the trait `Copy` is implemented for `isize`
note: required by a bound in `assert_copy`
--> $DIR/kindck-copy.rs:5:18
|
LL | fn assert_copy<T:Copy>() { }
| ^^^^ required by this bound in `assert_copy`
+help: consider removing the leading `&`-reference
+ |
+LL - assert_copy::<&'static mut isize>();
+LL + assert_copy::<isize>();
+ |
error[E0277]: the trait bound `&'a mut isize: Copy` is not satisfied
--> $DIR/kindck-copy.rs:28:19
@@ -17,12 +21,16 @@ error[E0277]: the trait bound `&'a mut isize: Copy` is not satisfied
LL | assert_copy::<&'a mut isize>();
| ^^^^^^^^^^^^^ the trait `Copy` is not implemented for `&'a mut isize`
|
- = help: the trait `Copy` is implemented for `isize`
note: required by a bound in `assert_copy`
--> $DIR/kindck-copy.rs:5:18
|
LL | fn assert_copy<T:Copy>() { }
| ^^^^ required by this bound in `assert_copy`
+help: consider removing the leading `&`-reference
+ |
+LL - assert_copy::<&'a mut isize>();
+LL + assert_copy::<isize>();
+ |
error[E0277]: the trait bound `Box<isize>: Copy` is not satisfied
--> $DIR/kindck-copy.rs:31:19
diff --git a/src/test/ui/kindck/kindck-impl-type-params-2.rs b/tests/ui/kindck/kindck-impl-type-params-2.rs
index 8950fc51e..8950fc51e 100644
--- a/src/test/ui/kindck/kindck-impl-type-params-2.rs
+++ b/tests/ui/kindck/kindck-impl-type-params-2.rs
diff --git a/src/test/ui/kindck/kindck-impl-type-params-2.stderr b/tests/ui/kindck/kindck-impl-type-params-2.stderr
index 930d96375..1d26ae51f 100644
--- a/src/test/ui/kindck/kindck-impl-type-params-2.stderr
+++ b/tests/ui/kindck/kindck-impl-type-params-2.stderr
@@ -10,7 +10,9 @@ note: required for `Box<{integer}>` to implement `Foo`
--> $DIR/kindck-impl-type-params-2.rs:6:14
|
LL | impl<T:Copy> Foo for T {
- | ^^^ ^
+ | ---- ^^^ ^
+ | |
+ | unsatisfied trait bound introduced here
note: required by a bound in `take_param`
--> $DIR/kindck-impl-type-params-2.rs:9:17
|
diff --git a/src/test/ui/kindck/kindck-impl-type-params.rs b/tests/ui/kindck/kindck-impl-type-params.rs
index 72a6599c3..72a6599c3 100644
--- a/src/test/ui/kindck/kindck-impl-type-params.rs
+++ b/tests/ui/kindck/kindck-impl-type-params.rs
diff --git a/src/test/ui/kindck/kindck-impl-type-params.stderr b/tests/ui/kindck/kindck-impl-type-params.stderr
index 8dbe0c38c..6fd1fc3f7 100644
--- a/src/test/ui/kindck/kindck-impl-type-params.stderr
+++ b/tests/ui/kindck/kindck-impl-type-params.stderr
@@ -8,7 +8,9 @@ note: required for `S<T>` to implement `Gettable<T>`
--> $DIR/kindck-impl-type-params.rs:12:32
|
LL | impl<T: Send + Copy + 'static> Gettable<T> for S<T> {}
- | ^^^^^^^^^^^ ^^^^
+ | ---- ^^^^^^^^^^^ ^^^^
+ | |
+ | unsatisfied trait bound introduced here
= note: required for the cast from `S<T>` to the object type `dyn Gettable<T>`
help: consider restricting type parameter `T`
|
@@ -25,7 +27,9 @@ note: required for `S<T>` to implement `Gettable<T>`
--> $DIR/kindck-impl-type-params.rs:12:32
|
LL | impl<T: Send + Copy + 'static> Gettable<T> for S<T> {}
- | ^^^^^^^^^^^ ^^^^
+ | ---- ^^^^^^^^^^^ ^^^^
+ | |
+ | unsatisfied trait bound introduced here
= note: required for the cast from `S<T>` to the object type `dyn Gettable<T>`
help: consider restricting type parameter `T`
|
@@ -42,7 +46,9 @@ note: required for `S<T>` to implement `Gettable<T>`
--> $DIR/kindck-impl-type-params.rs:12:32
|
LL | impl<T: Send + Copy + 'static> Gettable<T> for S<T> {}
- | ^^^^^^^^^^^ ^^^^
+ | ---- ^^^^^^^^^^^ ^^^^
+ | |
+ | unsatisfied trait bound introduced here
= note: required for the cast from `S<T>` to the object type `dyn Gettable<T>`
help: consider restricting type parameter `T`
|
@@ -59,7 +65,9 @@ note: required for `S<T>` to implement `Gettable<T>`
--> $DIR/kindck-impl-type-params.rs:12:32
|
LL | impl<T: Send + Copy + 'static> Gettable<T> for S<T> {}
- | ^^^^^^^^^^^ ^^^^
+ | ---- ^^^^^^^^^^^ ^^^^
+ | |
+ | unsatisfied trait bound introduced here
= note: required for the cast from `S<T>` to the object type `dyn Gettable<T>`
help: consider restricting type parameter `T`
|
@@ -77,7 +85,9 @@ note: required for `S<String>` to implement `Gettable<String>`
--> $DIR/kindck-impl-type-params.rs:12:32
|
LL | impl<T: Send + Copy + 'static> Gettable<T> for S<T> {}
- | ^^^^^^^^^^^ ^^^^
+ | ---- ^^^^^^^^^^^ ^^^^
+ | |
+ | unsatisfied trait bound introduced here
= note: required for the cast from `S<String>` to the object type `dyn Gettable<String>`
error[E0277]: the trait bound `Foo: Copy` is not satisfied
@@ -91,7 +101,9 @@ note: required for `S<Foo>` to implement `Gettable<Foo>`
--> $DIR/kindck-impl-type-params.rs:12:32
|
LL | impl<T: Send + Copy + 'static> Gettable<T> for S<T> {}
- | ^^^^^^^^^^^ ^^^^
+ | ---- ^^^^^^^^^^^ ^^^^
+ | |
+ | unsatisfied trait bound introduced here
= note: required for the cast from `S<Foo>` to the object type `dyn Gettable<Foo>`
help: consider annotating `Foo` with `#[derive(Copy)]`
|
diff --git a/src/test/ui/kindck/kindck-inherited-copy-bound.curr.stderr b/tests/ui/kindck/kindck-inherited-copy-bound.curr.stderr
index e81d2441e..8d45748a6 100644
--- a/src/test/ui/kindck/kindck-inherited-copy-bound.curr.stderr
+++ b/tests/ui/kindck/kindck-inherited-copy-bound.curr.stderr
@@ -10,7 +10,9 @@ note: required for `Box<{integer}>` to implement `Foo`
--> $DIR/kindck-inherited-copy-bound.rs:14:14
|
LL | impl<T:Copy> Foo for T {
- | ^^^ ^
+ | ---- ^^^ ^
+ | |
+ | unsatisfied trait bound introduced here
note: required by a bound in `take_param`
--> $DIR/kindck-inherited-copy-bound.rs:17:17
|
diff --git a/src/test/ui/kindck/kindck-inherited-copy-bound.object_safe_for_dispatch.stderr b/tests/ui/kindck/kindck-inherited-copy-bound.object_safe_for_dispatch.stderr
index 2380533b9..2fbb5a98a 100644
--- a/src/test/ui/kindck/kindck-inherited-copy-bound.object_safe_for_dispatch.stderr
+++ b/tests/ui/kindck/kindck-inherited-copy-bound.object_safe_for_dispatch.stderr
@@ -10,7 +10,9 @@ note: required for `Box<{integer}>` to implement `Foo`
--> $DIR/kindck-inherited-copy-bound.rs:14:14
|
LL | impl<T:Copy> Foo for T {
- | ^^^ ^
+ | ---- ^^^ ^
+ | |
+ | unsatisfied trait bound introduced here
note: required by a bound in `take_param`
--> $DIR/kindck-inherited-copy-bound.rs:17:17
|
diff --git a/src/test/ui/kindck/kindck-inherited-copy-bound.rs b/tests/ui/kindck/kindck-inherited-copy-bound.rs
index 87d47556b..87d47556b 100644
--- a/src/test/ui/kindck/kindck-inherited-copy-bound.rs
+++ b/tests/ui/kindck/kindck-inherited-copy-bound.rs
diff --git a/src/test/ui/kindck/kindck-nonsendable-1.rs b/tests/ui/kindck/kindck-nonsendable-1.rs
index b32fd7862..b32fd7862 100644
--- a/src/test/ui/kindck/kindck-nonsendable-1.rs
+++ b/tests/ui/kindck/kindck-nonsendable-1.rs
diff --git a/src/test/ui/kindck/kindck-nonsendable-1.stderr b/tests/ui/kindck/kindck-nonsendable-1.stderr
index cc6e1f59c..cc6e1f59c 100644
--- a/src/test/ui/kindck/kindck-nonsendable-1.stderr
+++ b/tests/ui/kindck/kindck-nonsendable-1.stderr
diff --git a/src/test/ui/kindck/kindck-send-object.rs b/tests/ui/kindck/kindck-send-object.rs
index 6411e688b..6411e688b 100644
--- a/src/test/ui/kindck/kindck-send-object.rs
+++ b/tests/ui/kindck/kindck-send-object.rs
diff --git a/src/test/ui/kindck/kindck-send-object.stderr b/tests/ui/kindck/kindck-send-object.stderr
index e9bbeeacd..e9bbeeacd 100644
--- a/src/test/ui/kindck/kindck-send-object.stderr
+++ b/tests/ui/kindck/kindck-send-object.stderr
diff --git a/src/test/ui/kindck/kindck-send-object1.rs b/tests/ui/kindck/kindck-send-object1.rs
index 787d0f8f6..787d0f8f6 100644
--- a/src/test/ui/kindck/kindck-send-object1.rs
+++ b/tests/ui/kindck/kindck-send-object1.rs
diff --git a/src/test/ui/kindck/kindck-send-object1.stderr b/tests/ui/kindck/kindck-send-object1.stderr
index 11f597fee..11f597fee 100644
--- a/src/test/ui/kindck/kindck-send-object1.stderr
+++ b/tests/ui/kindck/kindck-send-object1.stderr
diff --git a/src/test/ui/kindck/kindck-send-object2.rs b/tests/ui/kindck/kindck-send-object2.rs
index b797588e4..b797588e4 100644
--- a/src/test/ui/kindck/kindck-send-object2.rs
+++ b/tests/ui/kindck/kindck-send-object2.rs
diff --git a/src/test/ui/kindck/kindck-send-object2.stderr b/tests/ui/kindck/kindck-send-object2.stderr
index b8af33d0d..b8af33d0d 100644
--- a/src/test/ui/kindck/kindck-send-object2.stderr
+++ b/tests/ui/kindck/kindck-send-object2.stderr
diff --git a/src/test/ui/kindck/kindck-send-owned.rs b/tests/ui/kindck/kindck-send-owned.rs
index 65efb6904..65efb6904 100644
--- a/src/test/ui/kindck/kindck-send-owned.rs
+++ b/tests/ui/kindck/kindck-send-owned.rs
diff --git a/src/test/ui/kindck/kindck-send-owned.stderr b/tests/ui/kindck/kindck-send-owned.stderr
index b03f56465..b03f56465 100644
--- a/src/test/ui/kindck/kindck-send-owned.stderr
+++ b/tests/ui/kindck/kindck-send-owned.stderr
diff --git a/src/test/ui/kindck/kindck-send-unsafe.rs b/tests/ui/kindck/kindck-send-unsafe.rs
index 4ef30a71f..4ef30a71f 100644
--- a/src/test/ui/kindck/kindck-send-unsafe.rs
+++ b/tests/ui/kindck/kindck-send-unsafe.rs
diff --git a/src/test/ui/kindck/kindck-send-unsafe.rs~rust-lang_master b/tests/ui/kindck/kindck-send-unsafe.rs~rust-lang_master
index 3f0444ec9..3f0444ec9 100644
--- a/src/test/ui/kindck/kindck-send-unsafe.rs~rust-lang_master
+++ b/tests/ui/kindck/kindck-send-unsafe.rs~rust-lang_master
diff --git a/src/test/ui/kindck/kindck-send-unsafe.stderr b/tests/ui/kindck/kindck-send-unsafe.stderr
index ceed0053c..ceed0053c 100644
--- a/src/test/ui/kindck/kindck-send-unsafe.stderr
+++ b/tests/ui/kindck/kindck-send-unsafe.stderr