about summary refs log tree commit diff
path: root/src/test/ui
diff options
context:
space:
mode:
authorEsteban Küber <esteban@kuber.com.ar>2019-01-06 15:23:30 -0800
committerEsteban Küber <esteban@kuber.com.ar>2019-01-24 10:36:50 -0800
commit0e2d6e017592753089a9238c7fe269e45d32d459 (patch)
treeb8dbf6efcdd80d938ae6b6f76dcec19a9dc6ddf4 /src/test/ui
parentf6e29babc03d1554469d5f8cc49aec7dba162f42 (diff)
downloadrust-0e2d6e017592753089a9238c7fe269e45d32d459.tar.gz
rust-0e2d6e017592753089a9238c7fe269e45d32d459.zip
Point at type argument suggesting adding `Copy` constraint
Diffstat (limited to 'src/test/ui')
-rw-r--r--src/test/ui/borrowck/two-phase-nonrecv-autoref.nll.stderr2
-rw-r--r--src/test/ui/issues/issue-34721.stderr4
2 files changed, 5 insertions, 1 deletions
diff --git a/src/test/ui/borrowck/two-phase-nonrecv-autoref.nll.stderr b/src/test/ui/borrowck/two-phase-nonrecv-autoref.nll.stderr
index 0e99e158eda..d026f81b7aa 100644
--- a/src/test/ui/borrowck/two-phase-nonrecv-autoref.nll.stderr
+++ b/src/test/ui/borrowck/two-phase-nonrecv-autoref.nll.stderr
@@ -10,6 +10,8 @@ LL |         f(f(10));
 error[E0382]: use of moved value: `*f`
   --> $DIR/two-phase-nonrecv-autoref.rs:69:11
    |
+LL |     fn twice_ten_so<F: FnOnce(i32) -> i32>(f: Box<F>) {
+   |                     - consider adding a `Copy` constraint to this type argument
 LL |         f(f(10));
    |         - ^ value used here after move
    |         |
diff --git a/src/test/ui/issues/issue-34721.stderr b/src/test/ui/issues/issue-34721.stderr
index b4e274b1c70..2ed7b543e71 100644
--- a/src/test/ui/issues/issue-34721.stderr
+++ b/src/test/ui/issues/issue-34721.stderr
@@ -2,7 +2,9 @@ error[E0382]: use of moved value: `x`
   --> $DIR/issue-34721.rs:27:9
    |
 LL |     pub fn baz<T: Foo>(x: T) -> T {
-   |                        - move occurs because `x` has type `T`, which does not implement the `Copy` trait
+   |                -       - move occurs because `x` has type `T`, which does not implement the `Copy` trait
+   |                |
+   |                consider adding a `Copy` constraint to this type argument
 LL |         if 0 == 1 {
 LL |             bar::bar(x.zero())
    |                      - value moved here