Sourced from org.checkerframework:checker-qual's releases.
Checker Framework 3.46.0
Version 3.46.0 (August 1, 2024)
User-visible changes:
Renamed
@EnsuresCalledMethodsVarArgs
to@EnsuresCalledMethodsVarargs
.Closed issues:
Sourced from org.checkerframework:checker-qual's changelog.
Version 3.46.0 (August 1, 2024)
User-visible changes:
Renamed
@EnsuresCalledMethodsVarArgs
to@EnsuresCalledMethodsVarargs
.Closed issues:
58640e2
new release 3.46.0e1d12ee
Prep for release.239937d
Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.767 (#6735)7eb39fa
Added a new task to resolve dependenciesd0fe98d
Unlimited fetch depth for misc jobs (as claimed by documentation) (#6734)f94817b
More informative exception in callTransferFunction90fcbe3
Use Error Prone 2.29.232ef093
Remove EnsuresCalledMethodsVarArgs.java034a63c
Fix order that constraints/variables are resolved in type arg inferencef3dee6c
Add example to documentation of skipReceiverSubtypeCheck