Fix incorrect nullness determination for type variables with mixed-nullness intersection bounds#41

Draft

Copilot wants to merge 11 commits into

copilot/analyze-jspecify-test-failures

Commits on May 2, 2026

Add multi-bound type variable regression test showing current bug

Copilot
and
wmdietl
authored
Fix false positives for multi-bound type vars with mixed nullness (e.g. @Nullable A & B)

Copilot
and
wmdietl
authored
Changes before error encountered

Copilot
and
wmdietl
authored
Fix broken CaptureTest.java committed in previous session

Copilot
and
wmdietl
authored
Fix false positive for T extends Object & @Nullable Lib: use TypeParameterElement.getBounds()

Copilot
and
wmdietl
authored
Remove CaptureTest.java from multi-bound PR (belongs in separate captured-wildcard PR)

Copilot
and
wmdietl
authored
Add CaptureTest.java regression tests for captured wildcard nullness handling

Copilot
and
wmdietl
authored
Revert accidental re-addition of CaptureTest.java

Copilot
and
wmdietl
authored
Add CaptureTest.java regression tests for captured wildcard nullness handling

Copilot
and
wmdietl
authored
Remove CaptureTest.java - captured wildcard tests belong in separate PR

Copilot
and
wmdietl
authored
Add regression tests for captured wildcard nullness (root cause 2)

Copilot
and
wmdietl
authored