Filing for investigation.
The recent crater run found an interesting case in proptest-arbitrary 0.2.2, which used to compile with AST borrowck.
Crater logs.
There are 2 reproductions:
- the first collates the necessary parts from
proptest-arbitrary and proptest and reproduces faithfully the messages from the crater run. Playground.
- the second is a bit more minimal, while still being accepted by AST borrowck. It is however, in an effort to simplify the code, partially automatically reduced to focus on only one of these two identical errors. Playground.
Filing for investigation.
The recent crater run found an interesting case in
proptest-arbitrary0.2.2, which used to compile with AST borrowck.Crater logs.
There are 2 reproductions:
proptest-arbitraryandproptestand reproduces faithfully the messages from the crater run. Playground.