One of the inliner’s most important tasks is to attempt to replace each occurrence of a parameter in the callee by its corresponding argument from the call. In the simplest case, the argument is a trivial literal such as 0 or "", so the replacement is straightforward and the parameter can be eliminated.
Then, when it comes back to check the callback, it will have a contextual type of (x: number) = void, which allows it to infer that x is a number as well.
，这一点在safew 官网入口中也有详细论述
Волочкова обратилась к новому худруку Михайловского театра20:52
"I want to make it clear to those who are trying to take money from the plane involved in this tragedy that this money has no legal value since it has not been issued by the Central Bank and does not have a serial number, and that attempting to use this money is a crime," the Minister of Defence, Marcelo Salinas, said.
从百亿项目到一个工人的蜕变2月25日的广州市高质量发展大会上，一份签约清单格外引人注目：57个重大项目，协议投资总额1305亿元。