Bump versions.checkerFramework from 3.42.0-eisop5 to 3.49.3-eisop1

[dependabot]

Bumps versions.checkerFramework from 3.42.0-eisop5 to 3.49.1-eisop1.
Updates io.github.eisop:checker from 3.42.0-eisop5 to 3.49.1-eisop1

Release notes

Sourced from io.github.eisop:checker's releases.

Checker Framework 3.49.1-eisop1

Version 3.49.1-eisop1 (March 17, 2025)

User-visible changes:

The Nullness Checker now reports an error if any instanceof pattern variables are annotated with @Nullable and a redundant warning if they are annotated with @NonNull.

Implementation details:

Fixed intersection of wildcards with extends bounds, to ensure the correct bounds are used.

Closed issues:

eisop#1003, eisop#1022, eisop#1033, eisop#1058.

Version 3.49.1 (March 3, 2025)

Closed issues:

#6970, #6974.

Version 3.49.0 (February 3, 2025)

User-visible changes:

The Optional Checker is more precise for Optional values resulting from operations on container types (e.g., List, Map, Iterable). It supports two new annotations:

• @NonEmpty
• @UnknownNonEmpty

The Signature Checker no longer supports @BinaryNameWithoutPackage because it is equivalent to @Identifier; use @Identifier instead.

The JavaStubifier implementation now appears in package org.checkerframework.framework.stubifier.JavaStubifier.

Closed issues:

#6935, #6936, #6939.

... (truncated)

Changelog

Sourced from io.github.eisop:checker's changelog.

Version 3.49.1-eisop1 (March 17, 2025)

User-visible changes:

The Nullness Checker now reports an error if any instanceof pattern variables are annotated with @Nullable and a redundant warning if they are annotated with @NonNull.

Implementation details:

Fixed intersection of wildcards with extends bounds, to ensure the correct bounds are used.

Closed issues:

eisop#1003, eisop#1022, eisop#1033, eisop#1058.

Version 3.49.1 (March 3, 2025)

Closed issues:

#6970, #6974.

Version 3.49.0 (February 3, 2025)

User-visible changes:

The Optional Checker is more precise for Optional values resulting from operations on container types (e.g., List, Map, Iterable). It supports two new annotations:

• @NonEmpty
• @UnknownNonEmpty

The Signature Checker no longer supports @BinaryNameWithoutPackage because it is equivalent to @Identifier; use @Identifier instead.

The JavaStubifier implementation now appears in package org.checkerframework.framework.stubifier.JavaStubifier.

Closed issues:

#6935, #6936, #6939.

Version 3.48.4 (January 2, 2025)

... (truncated)

Commits

• 7d39d8b new release 3.49.1-eisop1
• 2009bc3 Release: pass the old release version to script
• 77277e3 Release: do not update BazelExample/maven_install.json too aggressively
• 5e20293 Release: update update-checker-framework-versions
• 8cfd824 Prep for release
• b1e968e typetools/checker-framework 3.49.1 release (#1153)
• 8d3ba45 Stay compatible with Java 8
• 88c0458 Move changelog entry
• 13643d5 Adapt error keys
• ef791e3 Code comment formatting
• Additional commits viewable in compare view

Updates io.github.eisop:checker-qual from 3.42.0-eisop5 to 3.49.1-eisop1

Release notes

Sourced from io.github.eisop:checker-qual's releases.

Checker Framework 3.49.1-eisop1

Version 3.49.1-eisop1 (March 17, 2025)

User-visible changes:

The Nullness Checker now reports an error if any instanceof pattern variables are annotated with @Nullable and a redundant warning if they are annotated with @NonNull.

Implementation details:

Fixed intersection of wildcards with extends bounds, to ensure the correct bounds are used.

Closed issues:

eisop#1003, eisop#1022, eisop#1033, eisop#1058.

Version 3.49.1 (March 3, 2025)

Closed issues:

#6970, #6974.

Version 3.49.0 (February 3, 2025)

User-visible changes:

The Optional Checker is more precise for Optional values resulting from operations on container types (e.g., List, Map, Iterable). It supports two new annotations:

• @NonEmpty
• @UnknownNonEmpty

The Signature Checker no longer supports @BinaryNameWithoutPackage because it is equivalent to @Identifier; use @Identifier instead.

The JavaStubifier implementation now appears in package org.checkerframework.framework.stubifier.JavaStubifier.

Closed issues:

#6935, #6936, #6939.

... (truncated)

Changelog

Sourced from io.github.eisop:checker-qual's changelog.

Version 3.49.1-eisop1 (March 17, 2025)

User-visible changes:

The Nullness Checker now reports an error if any instanceof pattern variables are annotated with @Nullable and a redundant warning if they are annotated with @NonNull.

Implementation details:

Fixed intersection of wildcards with extends bounds, to ensure the correct bounds are used.

Closed issues:

eisop#1003, eisop#1022, eisop#1033, eisop#1058.

Version 3.49.1 (March 3, 2025)

Closed issues:

#6970, #6974.

Version 3.49.0 (February 3, 2025)

User-visible changes:

The Optional Checker is more precise for Optional values resulting from operations on container types (e.g., List, Map, Iterable). It supports two new annotations:

• @NonEmpty
• @UnknownNonEmpty

The Signature Checker no longer supports @BinaryNameWithoutPackage because it is equivalent to @Identifier; use @Identifier instead.

The JavaStubifier implementation now appears in package org.checkerframework.framework.stubifier.JavaStubifier.

Closed issues:

#6935, #6936, #6939.

Version 3.48.4 (January 2, 2025)

... (truncated)

Commits

• 7d39d8b new release 3.49.1-eisop1
• 2009bc3 Release: pass the old release version to script
• 77277e3 Release: do not update BazelExample/maven_install.json too aggressively
• 5e20293 Release: update update-checker-framework-versions
• 8cfd824 Prep for release
• b1e968e typetools/checker-framework 3.49.1 release (#1153)
• 8d3ba45 Stay compatible with Java 8
• 88c0458 Move changelog entry
• 13643d5 Adapt error keys
• ef791e3 Code comment formatting
• Additional commits viewable in compare view

Updates io.github.eisop:checker-util from 3.42.0-eisop5 to 3.49.1-eisop1

Release notes

Sourced from io.github.eisop:checker-util's releases.

Checker Framework 3.49.1-eisop1

Version 3.49.1-eisop1 (March 17, 2025)

User-visible changes:

The Nullness Checker now reports an error if any instanceof pattern variables are annotated with @Nullable and a redundant warning if they are annotated with @NonNull.

Implementation details:

Fixed intersection of wildcards with extends bounds, to ensure the correct bounds are used.

Closed issues:

eisop#1003, eisop#1022, eisop#1033, eisop#1058.

Version 3.49.1 (March 3, 2025)

Closed issues:

#6970, #6974.

Version 3.49.0 (February 3, 2025)

User-visible changes:

The Optional Checker is more precise for Optional values resulting from operations on container types (e.g., List, Map, Iterable). It supports two new annotations:

• @NonEmpty
• @UnknownNonEmpty

The Signature Checker no longer supports @BinaryNameWithoutPackage because it is equivalent to @Identifier; use @Identifier instead.

The JavaStubifier implementation now appears in package org.checkerframework.framework.stubifier.JavaStubifier.

Closed issues:

#6935, #6936, #6939.

... (truncated)

Changelog

Sourced from io.github.eisop:checker-util's changelog.

Version 3.49.1-eisop1 (March 17, 2025)

User-visible changes:

The Nullness Checker now reports an error if any instanceof pattern variables are annotated with @Nullable and a redundant warning if they are annotated with @NonNull.

Implementation details:

Fixed intersection of wildcards with extends bounds, to ensure the correct bounds are used.

Closed issues:

eisop#1003, eisop#1022, eisop#1033, eisop#1058.

Version 3.49.1 (March 3, 2025)

Closed issues:

#6970, #6974.

Version 3.49.0 (February 3, 2025)

User-visible changes:

The Optional Checker is more precise for Optional values resulting from operations on container types (e.g., List, Map, Iterable). It supports two new annotations:

• @NonEmpty
• @UnknownNonEmpty

The Signature Checker no longer supports @BinaryNameWithoutPackage because it is equivalent to @Identifier; use @Identifier instead.

The JavaStubifier implementation now appears in package org.checkerframework.framework.stubifier.JavaStubifier.

Closed issues:

#6935, #6936, #6939.

Version 3.48.4 (January 2, 2025)

... (truncated)

Commits

• 7d39d8b new release 3.49.1-eisop1
• 2009bc3 Release: pass the old release version to script
• 77277e3 Release: do not update BazelExample/maven_install.json too aggressively
• 5e20293 Release: update update-checker-framework-versions
• 8cfd824 Prep for release
• b1e968e typetools/checker-framework 3.49.1 release (#1153)
• 8d3ba45 Stay compatible with Java 8
• 88c0458 Move changelog entry
• 13643d5 Adapt error keys
• ef791e3 Code comment formatting
• Additional commits viewable in compare view

Updates io.github.eisop:framework-test from 3.42.0-eisop5 to 3.49.1-eisop1

Release notes

Sourced from io.github.eisop:framework-test's releases.

Checker Framework 3.49.1-eisop1

Version 3.49.1-eisop1 (March 17, 2025)

User-visible changes:

The Nullness Checker now reports an error if any instanceof pattern variables are annotated with @Nullable and a redundant warning if they are annotated with @NonNull.

Implementation details:

Fixed intersection of wildcards with extends bounds, to ensure the correct bounds are used.

Closed issues:

eisop#1003, eisop#1022, eisop#1033, eisop#1058.

Version 3.49.1 (March 3, 2025)

Closed issues:

#6970, #6974.

Version 3.49.0 (February 3, 2025)

User-visible changes:

The Optional Checker is more precise for Optional values resulting from operations on container types (e.g., List, Map, Iterable). It supports two new annotations:

• @NonEmpty
• @UnknownNonEmpty

The Signature Checker no longer supports @BinaryNameWithoutPackage because it is equivalent to @Identifier; use @Identifier instead.

The JavaStubifier implementation now appears in package org.checkerframework.framework.stubifier.JavaStubifier.

Closed issues:

#6935, #6936, #6939.

... (truncated)

Changelog

Sourced from io.github.eisop:framework-test's changelog.

Version 3.49.1-eisop1 (March 17, 2025)

User-visible changes:

The Nullness Checker now reports an error if any instanceof pattern variables are annotated with @Nullable and a redundant warning if they are annotated with @NonNull.

Implementation details:

Fixed intersection of wildcards with extends bounds, to ensure the correct bounds are used.

Closed issues:

eisop#1003, eisop#1022, eisop#1033, eisop#1058.

Version 3.49.1 (March 3, 2025)

Closed issues:

#6970, #6974.

Version 3.49.0 (February 3, 2025)

User-visible changes:

The Optional Checker is more precise for Optional values resulting from operations on container types (e.g., List, Map, Iterable). It supports two new annotations:

• @NonEmpty
• @UnknownNonEmpty

The Signature Checker no longer supports @BinaryNameWithoutPackage because it is equivalent to @Identifier; use @Identifier instead.

The JavaStubifier implementation now appears in package org.checkerframework.framework.stubifier.JavaStubifier.

Closed issues:

#6935, #6936, #6939.

Version 3.48.4 (January 2, 2025)

... (truncated)

Commits

• 7d39d8b new release 3.49.1-eisop1
• 2009bc3 Release: pass the old release version to script
• 77277e3 Release: do not update BazelExample/maven_install.json too aggressively
• 5e20293 Release: update update-checker-framework-versions
• 8cfd824 Prep for release
• b1e968e typetools/checker-framework 3.49.1 release (#1153)
• 8d3ba45 Stay compatible with Java 8
• 88c0458 Move changelog entry
• 13643d5 Adapt error keys
• ef791e3 Code comment formatting
• Additional commits viewable in compare view

You can trigger a rebase of this PR 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 <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)

Note
Automatic rebases have been disabled on this pull request as it has been open for over 30 days.