The previous code was not wrong, but this prevents gcc from warning us about missing cases for these known safe switch statements. The -Wno-missing-cases can now be removed to detect places where we accidentally forgot a case.