LDM decided that we want to track the null state of nullable value types as well. This work item tracks our implementation.
While implementing, we need to update the public API docs to reflect that nullable value types are tracked, as the docs currently say they are not.