deps: update dependency net.jqwik:jqwik to v1.9.0 #2608
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR contains the following updates:
1.8.5
->1.9.0
Release Notes
jqwik-team/jqwik (net.jqwik:jqwik)
v1.9.0
: Kotlin 2.0 and Nullability AnnotationsCompare Source
New and Enhanced Features
Upgraded to Kotlin 2.0.0
Upgraded to JUnit Platform 1.10.3
Breaking Changes
StatisticsCoverage.checkQuery(Predicate<? super List<?>> query)
:query
is now of typePredicate<? super List<?>>
instead ofPredicate<? super List<Object>>
.Nullability annotations have been added to many API methods and interfaces.
This could lead to compile-time warnings or errors in your code if you are using tool chains that validate those.
UniqueElements.by()
now requires aClass<? extends Function<? extends @​Nullable Object, ?>>
instead of a
Class<? extends Function<?, Object>>
.Bug Fixes
Tools like CheckerFramework did not play well with jqwik's (wrong) usage of
@Nullable
on type variables.This has been fixed. See issue 575 for details.
Thanks to vlsi for working out all the nitty, gritty details!
Fixed type matching bug as revealed in this comment
Configuration
📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).
🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.
♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.
🔕 Ignore: Close this PR and you won't be reminded about this update again.
This PR has been generated by Mend Renovate. View repository job log here.