C#: Replace old Guards with the new shared implementation. - #20665

Merged

aschackmull merged 16 commits into

github:mainfrom

aschackmull:csharp/guards-replace

Oct 31, 2025

Commits on Oct 29, 2025

C#: Remove an irrelevant reference to impliesStep.
aschackmull
committed
9776e8f
C#: Remove tests referencing impliesStep.
aschackmull
committed
e3fc319
C#: Make private.
aschackmull
committed
1aa0e7c
C#: Update NullCheck test to reflect what nullness use.
aschackmull
committed
46fc006
C#: Replace references to getANullCheck.
aschackmull
committed
dc4abc9
C#: Minor test tweak.
aschackmull
committed
84b8b1c
Guards: Only prune actually trivial guards.
aschackmull
committed
8b3e626
C#: Replace Guards with the new implementation.
aschackmull
committed
7241bed
C#: Accept some test changes.
aschackmull
committed
cbfb8fd
Guards: Minor improvement to implications.
aschackmull
committed
0df0816
C#: Exclude nullness sources that are deemed non-null.
aschackmull
committed
72f1fe5
Guards: Add support for assertions that exit rather than throw.
aschackmull
committed
500fdb8
C#: Recognize assertions as Guards.
aschackmull
committed
b48d4d4
C#: Remove assertion splitting.
aschackmull
committed
e61ddf5
C#: Fix CFG for assertion.
aschackmull
committed
87d89fd
C#: Accept test changes for assert split removal.
aschackmull
committed
900d0d2