Skip to content

Add Null Support #143

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
rcosta358 wants to merge 13 commits into
base: main
Choose a base branch
from
Draft

Add Null Support #143

Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
7a8de62
Add Null & Boxed Types Support
rcosta358 Feb 7, 2026
c2ae323
Add Tests
rcosta358 Feb 7, 2026
d73b81c
Minor Changes
rcosta358 Feb 7, 2026
f24dc28
Unused Imports
rcosta358 Feb 8, 2026
cb50d1e
Minor Improvements
rcosta358 Feb 10, 2026
65e938d
Merge branch 'main' into null-support
rcosta358 Feb 11, 2026
aef5189
Mark Uninitialized Fields as Null
rcosta358 Feb 12, 2026
e959ce6
Merge branch 'main' into null-support
rcosta358 Feb 12, 2026
4c4661c
Fix Merge
rcosta358 Feb 12, 2026
8998f23
Remove Boxed Types
rcosta358 Feb 13, 2026
d8e500d
Merge branch 'main' into null-support
rcosta358 Feb 13, 2026
31bd897
Change `CorrectNullChecks` Test
rcosta358 Feb 15, 2026
c739e5f
Remove Fields Implicit Null Refinement
rcosta358 Feb 15, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'main' into null-support
  • Loading branch information
@rcosta358
rcosta358 committed Feb 13, 2026
commit d8e500ddacf995abdde72b407041843e4052bf70

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.