примерно как если ты точно знаешь, что параметры функции не могут принимать значения, отличные от значений синуса, но ты всё равно пишешь проверки, не первысил ли он +-1...
у меня как-то раз ломалась загрузка с пула хитрым образом был 10 RAID из 4х дисков, за месяцы он вырос до 24х потом ребутнули машину, а при старте загрузчик только первые несколько дисков видит и валится, что некоторых девайсов в пуле нет