Removed support for deprecated option -AuseDefaultsForUncheckedCode.
The Signedness Checker no longer allows (nor needs) @UnknownSignedness to be written on a non-integral type.
Implementation details:
QualifierHierarchy:
The constructor takes an AnnotatedTypeFactory.
Changes to isSubtype():
isSubtype() has been renamed to isSubypeQualifiers() and made protected. Clients that are not in a qualifier hierarchy should call isSubtypeShallow() or, rarely, new method isSubtypeQualifiersOnly().
New public method isSubtypeShallow()' that takes two more arguments than isSubypeQualifiers()`.
Similar changes to greatestLowerBound() and leastUpperBound().
The Initialization Checker issues a cast.unsafe warning instead of an initialization.cast error.
The Resource Leak Checker now issues a required.method.not.known error when an expression with type @MustCallUnknown has a must-call obligation (e.g., because it is a parameter annotated as @Owning).
The Resource Leak Checker's default MustCall type for type variables has been changed from @MustCallUnknown to @MustCall({}). This change reduces the number of false positive warnings in code that uses type variables but not resources. However, it makes some code that uses type variables and resources unverifiable with any annotation.
Removed support for deprecated option -AuseDefaultsForUncheckedCode.
The Signedness Checker no longer allows (nor needs) @UnknownSignedness
to be written on a non-integral type.
Implementation details:
QualifierHierarchy:
The constructor takes an AnnotatedTypeFactory.
Changes to isSubtype():
isSubtype() has been renamed to isSubypeQualifiers() and made protected.
Clients that are not in a qualifier hierarchy should call isSubtypeShallow()
or, rarely, new method isSubtypeQualifiersOnly().
New public method isSubtypeShallow()' that takes two more arguments than isSubypeQualifiers()`.
Similar changes to greatestLowerBound() and leastUpperBound().
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.
Dependabot commands and options
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 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)
Bumps org.checkerframework:checker-qual from 3.32.0 to 3.38.0.
Release notes
Sourced from org.checkerframework:checker-qual's releases.
... (truncated)
Changelog
Sourced from org.checkerframework:checker-qual's changelog.
... (truncated)
Commits
2d7d6ee
new release 3.38.0a3edf96
Prep for release.d919091
Update stubparser to 3.25.5 (#6150)917d743
Eliminate@SignedPositiveFromUnsigned
annotation (#6146)962cb0f
Improvements to AnnotatedTypeFactory (#6144)0257fee
Documentation about counting programs (#6142)57f55d6
RenameSourceChecker.processArg()' to
processErrorMessageArg()` (#6140)a4652dc
Update plugin de.undercouch.download to v5.5.0 (#6148)931c7a8
Update plugin com.diffplug.spotless to v6.21.0 (#6149)a23b92b
Use more specific terminology than "Determines if"Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase
.Dependabot commands and options
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