Я пытаюсь лучше понять ограничения проверки ключей для Java. Я придумал сценарий, в котором определенный элемент массива вызовет исключение нулевого указателя. Когда я запускаю это через доказательство, оно проходит. Любая идея, почему это? Это...