Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Nightly 2020-04-08 broke the v0.9.5 builds #186

Closed
vertexclique opened this issue Apr 8, 2020 · 3 comments · Fixed by #187
Closed

Nightly 2020-04-08 broke the v0.9.5 builds #186

vertexclique opened this issue Apr 8, 2020 · 3 comments · Fixed by #187
Labels
bug This is a bug

Comments

@vertexclique
Copy link

latest update on 2020-04-08, rust version 1.44.0-nightly (42abbd887 2020-04-07)

It looks like with this nightly ver. builds might have been failing.
I haven't had deep look at that but it seems like overarching lifetimes are the issue.

error[E0495]: cannot infer an appropriate lifetime for lifetime parameter `'a` due to conflicting requirements
##[error]  --> /home/runner/.cargo/registry/src/github.com-1ecc6299db9ec823/proptest-0.9.5/src/arbitrary/_core/iter.rs:47:23
   |
47 |         base.prop_map(Iterator::cloned).boxed()
   |                       ^^^^^^^^^^^^^^^^
   |
note: first, the lifetime cannot outlive the lifetime `'a` as defined on the impl at 36:9...
  --> /home/runner/.cargo/registry/src/github.com-1ecc6299db9ec823/proptest-0.9.5/src/arbitrary/_core/iter.rs:36:9
   |
36 |         'a,
   |         ^^
note: ...so that the types are compatible
  --> /home/runner/.cargo/registry/src/github.com-1ecc6299db9ec823/proptest-0.9.5/src/arbitrary/_core/iter.rs:47:23
   |
47 |         base.prop_map(Iterator::cloned).boxed()
   |                       ^^^^^^^^^^^^^^^^
   = note: expected  `&'a T`
              found  `&T`
   = note: but, the lifetime must be valid for the static lifetime...
note: ...so that the type `strategy::map::Map<S, fn(A) -> core::iter::Cloned<A> {<A as core::iter::Iterator>::cloned::<'_, T>}>` will meet its required lifetime bounds
  --> /home/runner/.cargo/registry/src/github.com-1ecc6299db9ec823/proptest-0.9.5/src/arbitrary/_core/iter.rs:47:41
   |
47 |         base.prop_map(Iterator::cloned).boxed()
   |                                         ^^^^^

error: aborting due to previous error
@Centril Centril added the bug This is a bug label Apr 8, 2020
@Centril
Copy link
Collaborator

Centril commented Apr 8, 2020

The regression was reported to rust-lang/rust in rust-lang/rust#70917.

@Centril
Copy link
Collaborator

Centril commented Apr 11, 2020

I've published 0.9.6, and #187 also merges the fix there into master.

@vertexclique
Copy link
Author

Thanks

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug This is a bug
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants