Skip to content

Instantly share code, notes, and snippets.

@jamii
Created March 17, 2015 22:26
Show Gist options
  • Save jamii/7157c2612b8633c14c8d to your computer and use it in GitHub Desktop.
Save jamii/7157c2612b8633c14c8d to your computer and use it in GitHub Desktop.
Compiling eve v0.0.1 (file:///home/jamie/eve/runtime)
src/solver.rs:90:43: 90:72 error: borrowed value does not live long enough
src/solver.rs:90 &Clause::Tuple(ref source) => source.constrained_to(result).drain().map(|tuple| Value::Tuple(tuple)).collect(),
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
src/solver.rs:90:43: 90:123 note: reference must be valid for the destruction scope surrounding method call at 90:42...
src/solver.rs:90 &Clause::Tuple(ref source) => source.constrained_to(result).drain().map(|tuple| Value::Tuple(tuple)).collect(),
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
src/solver.rs:90:43: 90:123 note: ...but borrowed value is only valid for the method call at 90:42
src/solver.rs:90 &Clause::Tuple(ref source) => source.constrained_to(result).drain().map(|tuple| Value::Tuple(tuple)).collect(),
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
error: aborting due to previous error
Could not compile `eve`.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment