The removed test only checked that every failure kind appeared somewhere in the same hand-maintained case table the mapping test already walks. It could not prove exhaustiveness or the absence of a fallback, which the compiler enforces, and it pinned the incidental fact that each category currently has an input.