Examples 1, 3, and 4, in their current form, could also be rewritten with const and a nullish coalescing operator.
I'm reminded of Write-once const bindings which seems similar.
The motivating example for me would be with try catch. Though do expressions or try (/safe assign) expressions would also work for that case.