Skip to content

chore: Drop obsolete NullAway workarounds - #25311

Merged
Artur- merged 2 commits into
mainfrom
drop-nullable-workarounds
Aug 26, 2026
Merged

chore: Drop obsolete NullAway workarounds#25311
Artur- merged 2 commits into
mainfrom
drop-nullable-workarounds

Conversation

@Artur-

@Artur- Artur- commented Aug 26, 2026

Copy link
Copy Markdown
Member

NullAway reads @nullable off record components, so GeolocationOptions uses a compact constructor instead of a spelled-out canonical one.

@nullable on the declared type is enough for NullAway to infer the constructor and generic method type arguments, so the repeated type arguments and explicit type witnesses in the signal tests are gone.

DESIGN_GUIDELINES.md described both patterns as requirements.

Artur- added 2 commits August 26, 2026 11:14
NullAway reads @nullable off record components, so GeolocationOptions
uses a compact constructor instead of a spelled-out canonical one.

@nullable on the declared type is enough for NullAway to infer the
constructor and generic method type arguments, so the repeated type
arguments and explicit type witnesses in the signal tests are gone.

DESIGN_GUIDELINES.md described both patterns as requirements.
@Artur-
Artur- enabled auto-merge August 26, 2026 08:24
@vaadin-bot

Copy link
Copy Markdown
Collaborator

@Artur- this "chore:"/"test:" PR has been approved automatically, but auto merge has not been enabled for it. You can enable the auto merge by yourself, or ask another member for another review. [Message is sent from bot]

@sonarqubecloud

Copy link
Copy Markdown

@github-actions

Copy link
Copy Markdown
Contributor

Test Results

 1 385 files  ±0   1 386 suites  ±0   1h 29m 45s ⏱️ + 4m 4s
10 568 tests ±0  10 501 ✅ ±0  67 💤 ±0  0 ❌ ±0 
10 887 runs  ±0  10 819 ✅ ±0  68 💤 ±0  0 ❌ ±0 

Results for commit f4d7187. ± Comparison against base commit 39076e1.

@Artur-
Artur- added this pull request to the merge queue Aug 26, 2026
Merged via the queue into main with commit 9896603 Aug 26, 2026
35 checks passed
@Artur-
Artur- deleted the drop-nullable-workarounds branch August 26, 2026 08:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants