[[TypeScript]]において、宣言されている型よりも更に型を広げるプロセスのこと。[[Narrowing]]の逆。