Just something I noticed when git grepping for sequence. FWIW this would have been caught by -Wduplicated-cond.
sequence
-Wduplicated-cond