Bump checker-qual from 3.19.0 to 3.20.0

[dependabot]

Bumps checker-qual from 3.19.0 to 3.20.0.

Release notes

Sourced from checker-qual's releases.

Checker Framework 3.20.0

Version 3.20.0 (December 6, 2021)

User-visible changes:

The Checker Framework now runs on code that contains switch expressions and switch statements that use the new -> case syntax, but treats them conservatively. A future version will improve precision.

Implementation details:

The dataflow framework can be run on code that contains switch expressions and switch statements that use the new -> case syntax, but it does not yet analyze the cases in a switch expression and it treats -> as :. A future version will do so.

Removed methods and classes that have been deprecated for more than one year:

• Old way of constructing qualifier hierarchies
• @SuppressWarningsKeys
• RegularBlock.getContents()
• TestUtilities.testBooleanProperty()
• CFAbstractTransfer.getValueWithSameAnnotations()

Closed issues: #4911, #4948, #4965.

Changelog

Sourced from checker-qual's changelog.

Version 3.20.0 (December 6, 2021)

User-visible changes:

The Checker Framework now runs on code that contains switch expressions and switch statements that use the new -> case syntax, but treats them conservatively. A future version will improve precision.

Implementation details:

The dataflow framework can be run on code that contains switch expressions and switch statements that use the new -> case syntax, but it does not yet analyze the cases in a switch expression and it treats -> as :. A future version will do so.

Removed methods and classes that have been deprecated for more than one year:

• Old way of constructing qualifier hierarchies
• @SuppressWarningsKeys
• RegularBlock.getContents()
• TestUtilities.testBooleanProperty()
• CFAbstractTransfer.getValueWithSameAnnotations()

Closed issues: #4911, #4948, #4965.

Commits

• 447eca1 new release 3.20.0
• f94111a Update for release.
• 17dbf44 Don't crash on switch expressions or switch statements with arrow cases
• 06a0aab Bump com.gorylenko.gradle-git-properties from 2.4.0-rc1 to 2.4.0-rc2
• 9fe76ef Remove methods and classes that have been deprecated for more than one year (...
• 001c45c Remove deprecated code.
• 461a0a3 Bump classgraph from 4.8.136 to 4.8.137
• 9d86991 Bump org.ajoberstar.grgit from 4.1.0 to 4.1.1
• 65b43ce Use release candidate to work around https://github.com/n0mer/gradle-git-prop...
• 40143a9 Add emphasis
• Additional commits viewable in compare view

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 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)