In fact I feel quite certain that where a catch all “any” case is detected which is provably redundant because all the other cases exhaustively handle the set of possible values, the compiler should complain.
This will help prevent some bad defensive nanny coding idioms taking hold and occluding detection of future problems as code evolves.
Elixir is not like other languages where the developer must be sure to handle every eventuality, as we have a runtime that handles things we didn’t know about at design time. The last thing we want are idioms that occlude future knowledge as code evolves, and hide problems that we could have detected and handled at design time in future revisions of our system.
