Commit a56c3bc
authored
Bump com.uber.nullaway:nullaway from 0.13.4 to 0.13.6 (#479)
Bumps [com.uber.nullaway:nullaway](https://github.com/uber/NullAway)
from 0.13.4 to 0.13.6.
<details>
<summary>Release notes</summary>
<p><em>Sourced from <a
href="https://github.com/uber/NullAway/releases">com.uber.nullaway:nullaway's
releases</a>.</em></p>
<blockquote>
<h2>NullAway 0.13.6</h2>
<p>(NOTE: originally these notes appeared with the 0.13.5 release, but
that release was pushed
incorrectly due to an error in our release process.)</p>
<p>Includes various bug fixes, particularly in JSpecify mode. Also, the
nullaway-annotations
artifact now includes a <code>@contract</code> annotation. NullAway also
now has a built-in handler
to reason about field initialization in classes managed by Jakarta
Persistence.</p>
<p>Work has begun on support for wildcards in JSpecify mode. Currently,
this support is off
by default, guarded by the configuration flag
<code>HandleWildcardGenerics</code>. The support still
has multiple known bugs, and we do not yet recommend enabling it.</p>
<ul>
<li>Initial subtype checking for wildcards (<a
href="https://redirect.github.com/uber/NullAway/issues/1520">#1520</a>)</li>
<li>Handle subtype checking for wildcard super bounds (<a
href="https://redirect.github.com/uber/NullAway/issues/1547">#1547</a>)</li>
<li>Handle most remaining wildcard subtyping / containment cases (<a
href="https://redirect.github.com/uber/NullAway/issues/1548">#1548</a>)</li>
<li>Test case for <a
href="https://redirect.github.com/uber/NullAway/issues/1528">#1528</a>
(<a
href="https://redirect.github.com/uber/NullAway/issues/1556">#1556</a>)</li>
<li>Initial inference for wildcards (<a
href="https://redirect.github.com/uber/NullAway/issues/1549">#1549</a>)</li>
<li>Fix wildcard inference bug with method references (<a
href="https://redirect.github.com/uber/NullAway/issues/1553">#1553</a>)</li>
<li>Fix nullability for return and parameter wildcards (<a
href="https://redirect.github.com/uber/NullAway/issues/1558">#1558</a>)</li>
<li>Test case for trick to assert chain of accesses is non-null (<a
href="https://redirect.github.com/uber/NullAway/issues/1566">#1566</a>)</li>
<li>Improve inference failure error message (<a
href="https://redirect.github.com/uber/NullAway/issues/1567">#1567</a>)</li>
<li>Adjust more TreePaths to have correct leaf before calling
getTreeType (<a
href="https://redirect.github.com/uber/NullAway/issues/1570">#1570</a>)</li>
<li>Add Contract annotation to nullaway-annotations by <a
href="https://github.com/codingkiddo"><code>@codingkiddo</code></a> (<a
href="https://redirect.github.com/uber/NullAway/issues/1569">#1569</a>)</li>
<li>Run inference for generic method calls nested inside receivers (<a
href="https://redirect.github.com/uber/NullAway/issues/1571">#1571</a>)</li>
<li>Refactor hasAnyAnnotationMatching method (<a
href="https://redirect.github.com/uber/NullAway/issues/1583">#1583</a>)</li>
<li>Improve handling of <code>var</code>-declared local variables (<a
href="https://redirect.github.com/uber/NullAway/issues/1573">#1573</a>)</li>
<li>Compensate for more annotations inserted by <code>javac</code> (<a
href="https://redirect.github.com/uber/NullAway/issues/1574">#1574</a>)</li>
<li>Enable test for issue 1500 and add comment (<a
href="https://redirect.github.com/uber/NullAway/issues/1560">#1560</a>)</li>
<li>Use ground target types when handling lambdas and method refs passed
to generic methods (<a
href="https://redirect.github.com/uber/NullAway/issues/1575">#1575</a>)</li>
<li>Fix for unbounded wildcard passed to <code>@NullUnmarked</code> type
variable (<a
href="https://redirect.github.com/uber/NullAway/issues/1577">#1577</a>)</li>
<li>Detect and warn on annotations directly on wildcard types (<a
href="https://redirect.github.com/uber/NullAway/issues/1579">#1579</a>)</li>
<li>Enable HandleWildcardGenerics flag when building NullAway (<a
href="https://redirect.github.com/uber/NullAway/issues/1586">#1586</a>)</li>
<li>Report error when <a
href="https://github.com/Initializer"><code>@Initializer</code></a> is
used on a constructor by <a
href="https://github.com/Vinu2111"><code>@Vinu2111</code></a> (<a
href="https://redirect.github.com/uber/NullAway/issues/1546">#1546</a>)</li>
<li>Add a handler for Jakarta Persistence to reason about field
initialization (<a
href="https://redirect.github.com/uber/NullAway/issues/1584">#1584</a>)</li>
<li>Revert "Report error when <a
href="https://github.com/Initializer"><code>@Initializer</code></a> is
used on a constructor (<a
href="https://redirect.github.com/uber/NullAway/issues/1546">#1546</a>)"
(<a
href="https://redirect.github.com/uber/NullAway/issues/1588">#1588</a>)</li>
<li>Maintenance
<ul>
<li>Use Jacoco 0.8.15 snapshot (<a
href="https://redirect.github.com/uber/NullAway/issues/1550">#1550</a>)</li>
<li>Update to Gradle 9.5.0 (<a
href="https://redirect.github.com/uber/NullAway/issues/1554">#1554</a>)</li>
<li>Test with latest Error Prone snapshot on CI (<a
href="https://redirect.github.com/uber/NullAway/issues/1555">#1555</a>)</li>
<li>Add Spring Boot as an integration test (<a
href="https://redirect.github.com/uber/NullAway/issues/1557">#1557</a>)</li>
<li>Enable generic bytecode tests on JDK 17 (<a
href="https://redirect.github.com/uber/NullAway/issues/1561">#1561</a>)</li>
<li>Update spotless and guava-latest deps, removed unused semver4j (<a
href="https://redirect.github.com/uber/NullAway/issues/1562">#1562</a>)</li>
<li>Use text blocks in more tests (<a
href="https://redirect.github.com/uber/NullAway/issues/1563">#1563</a>)</li>
<li>Use text blocks for addInputLines and addOutputLines calls (<a
href="https://redirect.github.com/uber/NullAway/issues/1564">#1564</a>)</li>
<li>Use Temurin JDK 17 always in CI (<a
href="https://redirect.github.com/uber/NullAway/issues/1565">#1565</a>)</li>
<li>Tell agents not to run multiple Gradle builds in parallel (<a
href="https://redirect.github.com/uber/NullAway/issues/1582">#1582</a>)</li>
<li>Update Codecov action to v6 (<a
href="https://redirect.github.com/uber/NullAway/issues/1587">#1587</a>)</li>
</ul>
</li>
</ul>
<h2>NullAway 0.13.5</h2>
<p>DO NOT USE THIS RELEASE. It was pushed incorrectly due to an error in
our release process.</p>
<!-- raw HTML omitted -->
</blockquote>
<p>... (truncated)</p>
</details>
<details>
<summary>Changelog</summary>
<p><em>Sourced from <a
href="https://github.com/uber/NullAway/blob/master/CHANGELOG.md">com.uber.nullaway:nullaway's
changelog</a>.</em></p>
<blockquote>
<h2>Version 0.13.6</h2>
<p>(NOTE: originally these notes appeared with the 0.13.5 release, but
that release was pushed
incorrectly due to an error in our release process.)</p>
<p>Includes various bug fixes, particularly in JSpecify mode. Also, the
nullaway-annotations
artifact now includes a <code>@contract</code> annotation. NullAway also
now has a built-in handler
to reason about field initialization in classes managed by Jakarta
Persistence.</p>
<p>Work has begun on support for wildcards in JSpecify mode. Currently,
this support is off
by default, guarded by the configuration flag
<code>HandleWildcardGenerics</code>. The support still
has multiple known bugs, and we do not yet recommend enabling it.</p>
<ul>
<li>Initial subtype checking for wildcards (<a
href="https://redirect.github.com/uber/NullAway/issues/1520">#1520</a>)</li>
<li>Handle subtype checking for wildcard super bounds (<a
href="https://redirect.github.com/uber/NullAway/issues/1547">#1547</a>)</li>
<li>Handle most remaining wildcard subtyping / containment cases (<a
href="https://redirect.github.com/uber/NullAway/issues/1548">#1548</a>)</li>
<li>Test case for <a
href="https://redirect.github.com/uber/NullAway/issues/1528">#1528</a>
(<a
href="https://redirect.github.com/uber/NullAway/issues/1556">#1556</a>)</li>
<li>Initial inference for wildcards (<a
href="https://redirect.github.com/uber/NullAway/issues/1549">#1549</a>)</li>
<li>Fix wildcard inference bug with method references (<a
href="https://redirect.github.com/uber/NullAway/issues/1553">#1553</a>)</li>
<li>Fix nullability for return and parameter wildcards (<a
href="https://redirect.github.com/uber/NullAway/issues/1558">#1558</a>)</li>
<li>Test case for trick to assert chain of accesses is non-null (<a
href="https://redirect.github.com/uber/NullAway/issues/1566">#1566</a>)</li>
<li>Improve inference failure error message (<a
href="https://redirect.github.com/uber/NullAway/issues/1567">#1567</a>)</li>
<li>Adjust more TreePaths to have correct leaf before calling
getTreeType (<a
href="https://redirect.github.com/uber/NullAway/issues/1570">#1570</a>)</li>
<li>Add Contract annotation to nullaway-annotations by <a
href="https://github.com/codingkiddo"><code>@codingkiddo</code></a> (<a
href="https://redirect.github.com/uber/NullAway/issues/1569">#1569</a>)</li>
<li>Run inference for generic method calls nested inside receivers (<a
href="https://redirect.github.com/uber/NullAway/issues/1571">#1571</a>)</li>
<li>Refactor hasAnyAnnotationMatching method (<a
href="https://redirect.github.com/uber/NullAway/issues/1583">#1583</a>)</li>
<li>Improve handling of <code>var</code>-declared local variables (<a
href="https://redirect.github.com/uber/NullAway/issues/1573">#1573</a>)</li>
<li>Compensate for more annotations inserted by <code>javac</code> (<a
href="https://redirect.github.com/uber/NullAway/issues/1574">#1574</a>)</li>
<li>Enable test for issue 1500 and add comment (<a
href="https://redirect.github.com/uber/NullAway/issues/1560">#1560</a>)</li>
<li>Use ground target types when handling lambdas and method refs passed
to generic methods (<a
href="https://redirect.github.com/uber/NullAway/issues/1575">#1575</a>)</li>
<li>Fix for unbounded wildcard passed to <code>@NullUnmarked</code> type
variable (<a
href="https://redirect.github.com/uber/NullAway/issues/1577">#1577</a>)</li>
<li>Detect and warn on annotations directly on wildcard types (<a
href="https://redirect.github.com/uber/NullAway/issues/1579">#1579</a>)</li>
<li>Enable HandleWildcardGenerics flag when building NullAway (<a
href="https://redirect.github.com/uber/NullAway/issues/1586">#1586</a>)</li>
<li>Report error when <a
href="https://github.com/Initializer"><code>@Initializer</code></a> is
used on a constructor by <a
href="https://github.com/Vinu2111"><code>@Vinu2111</code></a> (<a
href="https://redirect.github.com/uber/NullAway/issues/1546">#1546</a>)</li>
<li>Add a handler for Jakarta Persistence to reason about field
initialization (<a
href="https://redirect.github.com/uber/NullAway/issues/1584">#1584</a>)</li>
<li>Revert "Report error when <a
href="https://github.com/Initializer"><code>@Initializer</code></a> is
used on a constructor (<a
href="https://redirect.github.com/uber/NullAway/issues/1546">#1546</a>)"
(<a
href="https://redirect.github.com/uber/NullAway/issues/1588">#1588</a>)</li>
<li>Maintenance
<ul>
<li>Use Jacoco 0.8.15 snapshot (<a
href="https://redirect.github.com/uber/NullAway/issues/1550">#1550</a>)</li>
<li>Update to Gradle 9.5.0 (<a
href="https://redirect.github.com/uber/NullAway/issues/1554">#1554</a>)</li>
<li>Test with latest Error Prone snapshot on CI (<a
href="https://redirect.github.com/uber/NullAway/issues/1555">#1555</a>)</li>
<li>Add Spring Boot as an integration test (<a
href="https://redirect.github.com/uber/NullAway/issues/1557">#1557</a>)</li>
<li>Enable generic bytecode tests on JDK 17 (<a
href="https://redirect.github.com/uber/NullAway/issues/1561">#1561</a>)</li>
<li>Update spotless and guava-latest deps, removed unused semver4j (<a
href="https://redirect.github.com/uber/NullAway/issues/1562">#1562</a>)</li>
<li>Use text blocks in more tests (<a
href="https://redirect.github.com/uber/NullAway/issues/1563">#1563</a>)</li>
<li>Use text blocks for addInputLines and addOutputLines calls (<a
href="https://redirect.github.com/uber/NullAway/issues/1564">#1564</a>)</li>
<li>Use Temurin JDK 17 always in CI (<a
href="https://redirect.github.com/uber/NullAway/issues/1565">#1565</a>)</li>
<li>Tell agents not to run multiple Gradle builds in parallel (<a
href="https://redirect.github.com/uber/NullAway/issues/1582">#1582</a>)</li>
<li>Update Codecov action to v6 (<a
href="https://redirect.github.com/uber/NullAway/issues/1587">#1587</a>)</li>
</ul>
</li>
</ul>
<!-- raw HTML omitted -->
</blockquote>
<p>... (truncated)</p>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/uber/NullAway/commit/fa850b5fe8bf3603d3e50a8993956b747f814b23"><code>fa850b5</code></a>
Prepare for release 0.13.6.</li>
<li><a
href="https://github.com/uber/NullAway/commit/e188182a87170b8f12ecea7cf45526bdde028dd0"><code>e188182</code></a>
Notes for 0.13.6 release (<a
href="https://redirect.github.com/uber/NullAway/issues/1592">#1592</a>)</li>
<li><a
href="https://github.com/uber/NullAway/commit/c09d2028545881603d1c98b11e5b7e0653cf8bc4"><code>c09d202</code></a>
Add 0.13.5 release notes to changelog (<a
href="https://redirect.github.com/uber/NullAway/issues/1589">#1589</a>)</li>
<li><a
href="https://github.com/uber/NullAway/commit/d9d0392e94ea449669623a0bef4f42e5dd8dd357"><code>d9d0392</code></a>
Revert "Report error when <a
href="https://github.com/Initializer"><code>@Initializer</code></a> is
used on a constructor (<a
href="https://redirect.github.com/uber/NullAway/issues/1546">#1546</a>)"
(<a
href="https://redirect.github.com/uber/NullAway/issues/1588">#1588</a>)</li>
<li><a
href="https://github.com/uber/NullAway/commit/ec978b9b18afbe48e4c68b55a8e4919c70292a04"><code>ec978b9</code></a>
Update Codecov action to v6 (<a
href="https://redirect.github.com/uber/NullAway/issues/1587">#1587</a>)</li>
<li><a
href="https://github.com/uber/NullAway/commit/69ba115d7395a7d0c7d0128480b01cb604afe488"><code>69ba115</code></a>
Add a handler for Jakarta Persistence to reason about field
initialization (#...</li>
<li><a
href="https://github.com/uber/NullAway/commit/661f37443b0205102b23a99a994d409f9aa0cf14"><code>661f374</code></a>
Report error when <a
href="https://github.com/Initializer"><code>@Initializer</code></a> is
used on a constructor (<a
href="https://redirect.github.com/uber/NullAway/issues/1546">#1546</a>)</li>
<li><a
href="https://github.com/uber/NullAway/commit/f790ac9ef7ba642096bbcfea04126484d13d7b98"><code>f790ac9</code></a>
Enable HandleWildcardGenerics flag when building NullAway (<a
href="https://redirect.github.com/uber/NullAway/issues/1586">#1586</a>)</li>
<li><a
href="https://github.com/uber/NullAway/commit/31b14ce725d8f544eb2ec84f4912e16cfcb48c47"><code>31b14ce</code></a>
Detect and warn on annotations directly on wildcard types (<a
href="https://redirect.github.com/uber/NullAway/issues/1579">#1579</a>)</li>
<li><a
href="https://github.com/uber/NullAway/commit/c183d49078ba2b75d3309250cb320b28fb086f31"><code>c183d49</code></a>
Fix for unbounded wildcard passed to <code>@NullUnmarked</code> type
variable (<a
href="https://redirect.github.com/uber/NullAway/issues/1577">#1577</a>)</li>
<li>Additional commits viewable in <a
href="https://github.com/uber/NullAway/compare/v0.13.4...v0.13.6">compare
view</a></li>
</ul>
</details>
<br />
[](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores)
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-automerge-start)
[//]: # (dependabot-automerge-end)
---
<details>
<summary>Dependabot commands and options</summary>
<br />
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 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)
</details>
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>1 parent 94ec012 commit a56c3bc
1 file changed
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
18 | 18 | | |
19 | 19 | | |
20 | 20 | | |
21 | | - | |
| 21 | + | |
22 | 22 | | |
23 | 23 | | |
24 | 24 | | |
| |||
0 commit comments