我们以某种方式将缩小的类型传递给函数。
相关： #9998

我认为逻辑可能是这样的：对于每个封闭标识符，如果该标识符的缩小类型与其声明类型不同，则应将其提升为内部函数的参数。

function doThing(x: number | string) {
    if (typeof x === 'string') {
        newFunction(x);
    }

    function newFunction(x: string) {
        x.charCodeAt(0); // Error here: x is of type number | string
    }
}

我们可能希望将这里的 x 重命名为其他名称，因为局部词法遮蔽非常糟糕。

Another example when you try to extract a method for the code that is in if (isFoo(foo)) { :

interface IFoo {
	id: string;
}

interface IBar {
	id: string;
}

function isFoo(obj: any): obj is IFoo {
	return typeof obj === 'string';
}

function migrate(foo: IBar | IFoo) {
	if (isFoo(foo)) {
		const bar = foo;
		console.log(bar);
	} else {
		console.log(foo);
	}
}