Skip to content
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

Jump to bottom

Respect [MemberNotNull] on local functions #75448

Merged
merged 14 commits into from
Oct 31, 2024
Merged

Respect [MemberNotNull] on local functions #75448

Show file tree
Hide file tree
Changes from 12 commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
f49a448
Respect [MemberNotNull] on local function
jcouv Oct 8, 2024
3237e0e
Add test
jcouv Oct 14, 2024
814eb27
Revert "Add test"
jcouv Oct 14, 2024
98388f6
Address feedback
jcouv Oct 14, 2024
af0b613
Adjust assertion
jcouv Oct 14, 2024
5c6dd32
Remove assertion and add repro test
jcouv Oct 15, 2024
9cd8e95
Address feedback
jcouv Oct 17, 2024
5e27186
Enforce member post-conditions in local function bodies
jcouv Oct 22, 2024
ecad9a6
Cleanup
jcouv Oct 25, 2024
e610a7d
Cleanup
jcouv Oct 25, 2024
49c7eb1
Tweak
jcouv Oct 25, 2024
3095a41
Address feedback
jcouv Oct 29, 2024
67b7130
Address feedback
jcouv Oct 30, 2024
b5ae55c
Address feedback
jcouv Oct 31, 2024
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
Loading