OK, the example with the "hello" literal string they have is quite bad then.
Why use "let" along with "as const" instead of mere "const x = 'hello'" for that?
This is different to the widening of value types within objects, which is a tradeoff made towards unsoundness with the belief that it would otherwise make interoperability with existing js too difficult, for which `as const` now serves as a way to explicitly opt into sounder behavior.