This is not necessary because the `case` has no body.