Suboptimal error when moving a Copy type in a closure

[Nemo157]

#[derive(Copy, Clone)]
struct Bar;

fn foo(bar: Bar) -> impl FnOnce() -> Bar {
    || bar
}

(playground) main error message is:

error[E0373]: closure may outlive the current function, but it borrows `bar`, which is owned by the current function
 --> src/lib.rs:5:5
  |
5 |     || bar
  |     ^^ --- `bar` is borrowed here
  |     |
  |     may outlive borrowed value `bar`
  |
note: closure is returned here

I spent a long time trying to figure out where I was creating a reference until I finally figured out that Copy types are always captured by reference, even if you move them in the closure. It would be helpful if it mentioned the fact that while this looks like a move it's actually copying out of a reference because the type is Copy.

[estebank]

For future reference, the full current output is:

error[E0373]: closure may outlive the current function, but it borrows `bar`, which is owned by the current function
 --> src/lib.rs:5:5
  |
5 |     || bar
  |     ^^ --- `bar` is borrowed here
  |     |
  |     may outlive borrowed value `bar`
  |
note: closure is returned here
 --> src/lib.rs:5:5
  |
5 |     || bar
  |     ^^^^^^
help: to force the closure to take ownership of `bar` (and any other referenced variables), use the `move` keyword
  |
5 |     move || bar
  |     ^^^^^^^

error: aborting due to previous error

[estebank]

Current output:

error[E0597]: `bar` does not live long enough
 --> src/lib.rs:5:8
  |
4 | fn foo(bar: Bar) -> impl FnOnce() -> Bar {
  |                     -------------------- opaque type requires that `bar` is borrowed for `'static`
5 |     || bar
  |     -- ^^^ borrowed value does not live long enough
  |     |
  |     value captured here
6 | }
  |  - `bar` dropped here while still borrowed

[estebank]

The original report is fixed:

error[E0373]: closure may outlive the current function, but it borrows `bar`, which is owned by the current function
 --> src/lib.rs:5:5
  |
5 |     || bar
  |     ^^ --- `bar` is borrowed here
  |     |
  |     may outlive borrowed value `bar`
  |
note: closure is returned here
 --> src/lib.rs:5:5
  |
5 |     || bar
  |     ^^^^^^
help: to force the closure to take ownership of `bar` (and any other referenced variables), use the `move` keyword
  |
5 |     move || bar
  |     ++++

but this similar case isn't

fn main() {
    let _f = {
        let i = 1;
        || i
    };
}

error[E0597]: `i` does not live long enough
 --> src/main.rs:4:12
  |
2 |     let _f = {
  |         -- borrow later stored here
3 |         let i = 1;
4 |         || i
  |         -- ^ borrowed value does not live long enough
  |         |
  |         value captured here
5 |     };
  |     - `i` dropped here while still borrowed