在我看来，TypeScript不仅将typeof x === 'string'解释为简单的布尔值，而且还将其解释为某种布尔值is string类型。
请考虑以下示例：

const tryInference = function(maybeStr?: string): void {

  const isStrI          = typeof maybeStr === 'string'; // inferred type "is string"
  const isStrB: boolean = typeof maybeStr === 'string'; // explicit boolean

  console.log( isStrI && maybeStr.charAt(0) ); // <-- ok
  console.log( isStrB && maybeStr.charAt(0) ); // <-- TS18048: 'maybeStr' is possibly 'undefined'.

  const indeedStr1: string = isStrI ? maybeStr : ''; // <-- ok
  const indeedStr2: string = isStrB ? maybeStr : ''; // <-- TS2322: Type 'string | undefined' is not assignable to type 'string'

  console.log( indeedStr1, indeedStr2 );
};

我理解在isStrI的情况下，TypeScript知道如果typeof maybeStr === 'string'，那么maybeStr.charAt是可用的。
我假设在isStrB && maybeStr.charAt(0)的情况下，TypeScript将其解释为true && maybeStr.charAt(0)，并且不再与typeof maybeStr === 'string'有关系？* （当然，如果isStrB为真）*
这让我很好奇：
1.我可以显式地注解isStrI，而不破坏maybeStr是string类型的信息吗？
1.我的假设对吗？有人能更详细地解释一下吗？