On Friday, 24 June 2016 at 15:43:58 UTC, Stefan Koch wrote:
To elaborate:This requires control-flow analysis over all static if branches,to find and very one special case which we treat specially.
No.This require to put a maybe reachable flag in some position int the code (namely, after the static if). It is already done, for instance for switch statements.