I support this change, no problem 
But I guess I'll ask the elephant in the room question -- why not look into making Never a true bottom type? It always seemed weird to me that Swift lacked a true bottom type and Never seemed like the natural candidate for it.
This does not block the current proposal from being accepted, just wanted to see if there's any thoughts we can share here?