Bump checker-qual from 3.1.1 to 3.2.0

[dependabot-preview]

Bumps checker-qual from 3.1.1 to 3.2.0.

Release notes

Sourced from checker-qual's releases.

Checker Framework 3.2.0

Version 3.2.0, March 2, 2020

@SuppressWarnings("initialization") suppresses only warnings whose key contains "initialization". Previously, it suppressed all warnings issued by the Nullness Checker or the Initialization Checker.

Closed issues: 2719, 3001, 3020, 3069, 3093, 3120.

Changelog

Sourced from checker-qual's changelog.

Version 3.2.0, March 2, 2020

@SuppressWarnings("initialization") suppresses only warnings whose key contains "initialization". Previously, it suppressed all warnings issued by the Nullness Checker or the Initialization Checker.

Closed issues:

2719, 3001, 3020, 3069, 3093, 3120.

---

Version 3.1.1, February 3, 2020

New command-line options: -AassumeDeterministic Unsoundly assume that every method is deterministic -AassumePure Unsoundly assume that every method is pure

Renamed -Anocheckjdk to -ApermitMissingJdk. The old version still works, for backward compatibility.

Renamed -Alint=forbidnonnullarraycomponents to -Alint=soundArrayCreationNullness. The old version still works, for backward compatibility.

Implementation details:

• Deprecated QualifierHierarchy#getTypeQualifiers.
• Deprecated Analysis#Analysis(ProcessingEnvironment) and Analysis#Analysis(T, int, ProcessingEnvironment); use Analysis#Analysis(), Analysis#Analysis(int), Analysis#Analysis(T), and Analysis#Analysis(T, int) instead.

Closed issues:

2181, 2975, 3018, 3022, 3032, 3036, 3037, 3038, 3041, 3049, 3055, 3076.

---

Version 3.1.0, January 3, 2020

Command-line option -AprintGitProperties prints information about the git repository from which the Checker Framework was compiled.

Implementation details:

• Removed static cache in AnnotationUtils#areSameByClass and added AnnotatedTypeFactory#areSameByClass that uses an instance cache.
• Removed static cache in AnnotationBuilder#fromName and #fromClass.
• ContractsUtils#getPreconditions takes an ExecutableElement as an argument.
• ContractsUtils#getContracts returns a Set.
• Moved ContractUtils.Contract to outer level.
• Renamed ConditionalPostcondition#annoResult to ConditionalPostcondition#resultValue.

... (truncated)

Commits

• 0815a11 new release 3.2.0
• 4e3f78f Prep for release.
• 56175dd Mark Iterator.hasNext() and Enumeration.hasMoreElements() as @Pure (#3122)
• 4dee6fe Properly handle type variables (Fixes #3120) (#3121)
• 1a0e5ce Fix reoccurrence of Issue 244. (#3118)
• 08a2989 Improve error message of inconsistent.constructor.type (#3114)
• 5fdf7df Fix table of contents
• 7e2e4d0 Improve shell script style
• 933de07 Retry downloading the gradle wrapper if it fails
• c89b36e Make treeToFilePositionString return a string (#3109)
• 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)
• @dependabot use these labels will set the current labels as the default for future PRs for this repo and language
• @dependabot use these reviewers will set the current reviewers as the default for future PRs for this repo and language
• @dependabot use these assignees will set the current assignees as the default for future PRs for this repo and language
• @dependabot use this milestone will set the current milestone as the default for future PRs for this repo and language
• @dependabot badge me will comment on this PR with code to add a "Dependabot enabled" badge to your readme

Additionally, you can set the following in your Dependabot dashboard:

• Update frequency (including time of day and day of week)
• Pull request limits (per update run and/or open at any time)
• Automerge options (never/patch/minor, and dev/runtime dependencies)
• Out-of-range updates (receive only lockfile updates, if desired)
• Security updates (receive only security updates, if desired)