New upstream version 1.56.0~beta.4+dfsg1

[rustc.git] / src / test / ui / kindck / kindck-inherited-copy-bound.object_safe_for_dispatch.stderr

diff --git a/src/test/ui/kindck/kindck-inherited-copy-bound.object_safe_for_dispatch.stderr b/src/test/ui/kindck/kindck-inherited-copy-bound.object_safe_for_dispatch.stderr
index 49c5cd40b589a191f761f7617f666a259048e6fb..a486ab17c888f07a0d4c4f485f73b0c948c08e5a 100644 (file)
--- a/src/test/ui/kindck/kindck-inherited-copy-bound.object_safe_for_dispatch.stderr
+++ b/src/test/ui/kindck/kindck-inherited-copy-bound.object_safe_for_dispatch.stderr
@@ -1,9 +1,6 @@
 error[E0277]: the trait bound `Box<{integer}>: Foo` is not satisfied
   --> $DIR/kindck-inherited-copy-bound.rs:21:16
    |
-LL | fn take_param<T:Foo>(foo: &T) { }
-   |                 --- required by this bound in `take_param`
-...
 LL |     take_param(&x);
    |                ^^ the trait `Copy` is not implemented for `Box<{integer}>`
    |
@@ -12,6 +9,11 @@ note: required because of the requirements on the impl of `Foo` for `Box<{intege
    |
 LL | impl<T:Copy> Foo for T {
    |              ^^^     ^
+note: required by a bound in `take_param`
+  --> $DIR/kindck-inherited-copy-bound.rs:17:17
+   |
+LL | fn take_param<T:Foo>(foo: &T) { }
+   |                 ^^^ required by this bound in `take_param`
 
 error[E0038]: the trait `Foo` cannot be made into an object
   --> $DIR/kindck-inherited-copy-bound.rs:28:13