On Monday, 27 June 2016 at 22:56:41 UTC, Jonathan M Davis wrote:
Agreed. The code outside of the static if should be compiled
regardless, because it's not part of the static if/else at all
and therefore has not been marked as conditionally compilable.
But if we don't warn about unreachable code, then the code
after the static if can clearly be optimized out because it's
unreachable. So, Andrei's code would become legal as long as
the only problem with the code after the static if was that it
was unreachable.
- Jonathan M Davis
The "allow unreachable code" solution has it's own limitations
compared to implicit-else-block. It doesn't allow varying return
type and differing declarations in the two blocks.
Allowing unreachable code also shares readibility problems
(because the example code is exactly the same for both
solutions), although it's conceptually easier to understand and
more consistent, so it's prefered.
I personally like present state of things.
