However, the other reason I didn't see "Useless use of a constant in a void context" is that my colleagues code has a variable (not a constant) after the 'return:'.

So you would have seen a "Useless use of a variable in void context" warning instead.