我正在尝试将新的TypeScript 3.7可选链接与断言签名结合使用。 根据我对可选链接的了解,如果x?.y是非空的,我希望x总是非空的。不幸的是,最新的TypeScript 3.7 nightly似乎没有反映这一点: declare function assertNonNull<T>(x: T | null): asserts x isassertNonNull(x);
doSomething(x.y); // No error, y is already correctly narrowed down