为什么typescript编译器不能告诉值是在显式类型化时定义的?

我有这个代码:

interface Foo {
  value?: string;
}

const item1: Foo = { value: 'foo' }

// Object is possibly 'undefined'.
console.log(`Message ${item1.value.substring(4)}`);

const item2 = { value: 'foo' }

// all good in the hood
console.log(`Message ${item2.value.substring(4)}`);

什么时候? item1 输入为foo, tsc 无法判断值是否已定义,即使该值已在同一范围内声明。

我可以理解item1是否被传递到函数中,但不在同一范围内。