Hi Dennis,
Ah, I see—although the switch should be considered exhaustive since you have covered all the possible cases, the compiler is claiming that it is not. I would probably consider this to be a compiler bug. Have you considered filing a report at bugs.swift.org <Issues · apple/swift · GitHub?
Charles
···
On Nov 5, 2017, at 10:39 AM, Dennis Weissmann <dennis@dennisweissmann.me> wrote:
You can delete the default case here, and your switch will still be exhaustive
That's exactly my problem! It is *not*.
When I delete the default clause, the compiler warns that the switch is not exhaustive and fixits suggest to add the "missing" deprecated cases.
- Dennis