The code is using the bit mask NullabilityKindMask which is 0x3
(00000011 in binary) to clear the bits in the NullabilityPayload variable.
Since NullabilityPayload is a 64-bit variable and NullabilityKindMask is
only a 8-bit variable(0x3), it will only affect the last 8 bits of the
variable. The higher 56 bits will remain unchanged.
Found by PVS-Studio - https://pvs-studio.com/en/blog/posts/cpp/1003/, N37.
I think a cleaner way to solve this is to make NullabilityKindMask be 64-bits. None of the other operations need this change, but it seems like it will be a bit more future-proof that way. WDYT?