Sourced from proptest-derive's changelog.

0.5.1

New Additions

• proptest::strategy::Union and proptest::strategy::TupleUnion now work with weighted strategies even if the sum of the weights overflows a u32.

• Added SIGNALING_NAN strategy to generate signalling NaNs if supported by the platform. Note that this is not included in ANY.

Bug Fixes

• Fixed values produced via prop_recursive() not shrinking from the recursive to the non-recursive case.

• Fix that QUIET_NAN would generate signalling NaNs on most platforms on Rust 1.24.0 and later.

0.5.0

Potential Breaking Changes

• There is a small chance of breakage if you've relied on the constraints put on type inference by the closure in leaf.prop_recursive(..) having a fixed output type. The output type is now any strategy that generates the same type as leaf. This change is intended to make working with recursive types a bit easier as you no longer have to use .boxed() inside the closure you pass to .prop_recursive(..).

• There is a small chance of breakage wrt. type inference due to the introduction of SizeRange.

• There is a small chance of breakage wrt. type inference due to the introduction of Probability.

• BoxedStrategy and SBoxedStrategy are now newtypes instead of being type aliases. You will only experience breaking changes if you've directly used .boxed() and not (S)BoxedStrategy<T> but rather Box<Strategy<Value = Box<ValueTree<Value = T>>>>. The probability of breakage is very small, but still possible. The benefit of this change is that calling .boxed() or .sboxed() twice only boxes once. This can happen in situations where you have functions Strategy -> BoxedStrategy or with code generation.

• proptest::char::ANY has been removed. Any remaining uses must be replaced by proptest::char::any().

• proptest::strategy::Singleton has been removed. Any remaining uses must be replaced by proptest::strategy::Just.

... (truncated)

• 39875e2 Version 0.5.1.
• 20cd398 Update floating-support for Rust 1.24.0's new from_bits implementation.
• 6dee486 Fix Recursive not shrinking to non-recursive case.
• b107e3f Version 0.5.0.
• 9a84f3e Remove the long-deprecated Singleton alias.
• 2ad1d5b Clarify role of arbitrary.
• dd09a1a Remove char::ANY.
• 8404588 Merge pull request #40 from Centril/feature/recursion-improvements
• da677e9 fix bug in osstring_invalid_string (windows)
• add17f2 document changes to .prop_recursive(..)
• Additional commits viewable in compare view

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)