Are LLMs too dumb to understand the type system? Or is the type system too bad, to represent non-nullable?

Even in Python with its meh-ish optional typing system something that can be None is different from something that cannot be None.