As I said, I'm not 100% sure this is worth fixing, because you would basically need to re-implement `no-unreachable` code to check for all cases correctly. It will significantly complicate code with no huge gain. If you are ok with this rule being somewhat incomplete and not covering edge cases, I think it's fine to leave it as is. Maybe put a note in the documentation about it. Since this rule supports comments, there's a work-around for edge cases.