Yes, but what was unreachable may get reachable as I do changes to the program. I see the utility when doing highly optimized library code.
But for my purposes I much prefer to stick something which flags me (exception or logging or whatever) of "this should never happen" instead of crashing. (Undefined.)