Is this a standard way of dealing with branches of conditional code that should be unreachable?