Bump checker-qual from 3.0.1 to 3.1.0

[dependabot-preview]

Bumps checker-qual from 3.0.1 to 3.1.0.

Release notes

Sourced from checker-qual's releases.

Checker Framework 3.1.0

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.

Closed issues:

2867, 2897, 2972.

Changelog

Sourced from checker-qual's changelog.

---

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.

Closed issues:

2867, 2897, 2972.

---

Version 3.0.1, December 2, 2019

New command-line option for the Constant Value Checker -AnoNullStringsConcatenation unsoundly assumes that every operand of a String concatenation is non-null.

Implementation details:

• Moved AnnotatedTypes#hasTypeQualifierElementTypes to AnnotationUtils.
• Deprecated AnnotatedTypes#isTypeAnnotation and AnnotatedTypes#hasTypeQualifierElementTypes.

Closed issues:

945, 1224, 2024, 2744, 2809, 2815, 2818, 2830, 2840, 2853, 2854, 2865, 2873, 2874, 2878, 2880, 2886, 2888, 2900, 2905, 2919, 2923.

---

Version 3.0.0, November 1, 2019

The Checker Framework works on both JDK 8 and JDK 11.

• Type annotations for JDK 8 remain in jdk8.jar.
• Type annotations for JDK 11 appear in stub files in checker.jar.

Removed the @PolyAll annotation.

Implementation details:

• Removed all previously deprecated methods.
• AnnotatedTypeFactory#getFnInterfaceFromTree now returns an AnnotatedExecutableType.

... (truncated)

Commits

• b4e8205 new release 3.1.0
• 4fe9b9a Update hash.
• 6ff94e7 Make rename mentioned in change log.
• 02ceb5a Prep for release.
• 9121f00 Fix #2985 by using proper types. (#3026)
• 3e0191f Remove the static annotationNameCache from AnnotationUtils (#2997)
• ac23946 Constant Value Checker: avoid using areSameByClass. (#2987)
• 49430a7 Bump junit from 4.12 to 4.13 (#3024)
• 58bc643 Expand diagnostics
• e2874e7 Add baseline support for records (#3017)
• 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 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 the .dependabot/config.yml file in this repo:

• Update frequency
• 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)