复杂场景下的 typescript 类型锚定 （1） -----