Consider:

auto f() { if constexpr (false) return; return 3; } 

Missing error on the first return statement.

I think this violates [stmt.return]p2? Or maybe it's an oversight in the wording.