Ah, sorry—I read too fast through this code. I didn't notice that it was looking exhaustively at enums, I just noticed the lack of a default case. Disregard.