Maybe it's because I haven't looked in a while, but do we need these checks in addition to the `[NotNull]` attributes? (I know the `[NotNull]` thing isn't yet implemented, but I thought people have been coding on the assumption that it will be.)