TypeScriptのWideningについて

Question

Wideningについて調べています。
記事を漁っていて、これはWideningと理解できました。

// "hoge"というリテラル型で推論される
const hoge = "hoge";
// stringに推論される
let fuga = hoge;

以下の①や②のような通常の型推論、③のようにプロパティに設定すると変更できてしまう場合もWideningと言えるのでしょうか？

// ①stringに推論される
let hoge = "hoge";

// ②numberに推論される
let fuga = 1234;

// ③オブジェクトのプロパティに設定すると変更できてしまう
const hoge = "hoge";
const obj = {
  hoge,
};
obj.hoge = "fuga";

あとその他、Wideningといえるようなものがあれば教えていただけると嬉しいです。