Or you don't use the defualt case and rely on definite assignment analysis or checks for returns in every code path. I find the never type in TS actually being

Or you don't use the defualt case and rely on definite assignment analysis or checks for returns in every code path. I find the never type in TS actually being a proper bottom type + having control-flow based types vastly superior to what rust offers.