"value may contain borrowed pointers"

[catamorphism]

This error message makes me sad, since it doesn't suggest any way to fix the problem. Sorry, I don't have a self-contained example right now, but I'll try to make one later.

[emberian]

@catamorphism what situation is it generated, at least?

[huonw]

Triage: it now has a suggestion on how to fix it:

fn foo<T> (t: T) -> @T {
    @t
}

fn main() {}

6584.rs:2:5: 2:6 error: value may contain borrowed pointers; add `'static` bound
6584.rs:2     @t
               ^
error: aborting due to previous error

This appears to be the only explanation of this requirement, a quick skip of the manual (searching for 'static and @) doesn't turn up anything, so leaving this open, and tagging with docs too.

[alexcrichton]

Nominating, sounds like a pretty bad error message.

[pnkfelix]

@t is feature gated. Of course we will have it (or Gc), but its not huge for 1.0.

Accepted for P-low.

[steveklabnik]

I don't even think this error exists anymore:

$ grep -ri "value may contain borrowed pointers" *
$ 

Combined with the removal of @, I think we can close this.

[emberian]

The error has been renamed to value may contain references

[emberian]

I think it still comes up with trait objects in general, especially Box<Trait>

[steveklabnik]

Looking at the tests, there are two instances of this error. one suggests a solution, and the other seems to be specific to Gc. Still unsure what fix to suggest in that case, though.

[steveklabnik]

triage:

$ git grep "value may contain references"
$

Does anyone know if this is still an issue? Or have an example of how to reproduce?

[steveklabnik]

It's been a month, and so I'm giving this a close. If someone can give me code to reproduce, we can re-open.