I suspect it would probably be better to just return a `0u32` instead of `expr_unreachable`, in order to provide the correct type, but otherwise I agree.