Agreed. I never saw the utility of it really until reading this today. I can't think of many situations where I've relied on exhaustively checking union types in a switch case, but there are probably a couple that could be tightened up with 'never'.