TypeGuardを使ってるのに型推論が思った様に効かず困っています

Question

TypeScript　2.8.3を利用しています。
tscが以下のコードで$tはstring | true | TestValue[]だと言い張ります。

type TestValue = string|true;
interface Test {
	[key:string] : TestValue|TestValue[];
}
function isArray($_:any):$_ is TestValue[]{return true;}
// なんかかんや処理
if( isArray($Test[$k]) ){
	const $t = $Test[$k];
} 

当然const $t:TestValue[] = $Test[$k];でも型が合わないのでエラーになります。

以下の様に一旦変数に入れてからTypeGuardを通すと正しく推論されます。

const $t = $R[$k];
if(isArray($t)){
	$t;//これだとTestValue[]と認識される
}

またasで型を強制する事でエラーが出ない様に出来る事も解っています。

TestValue[]なのは自明に見えるのに何故このような挙動になるのでしょうか？

Answer 1

詳しい説明ありがとうございました。

getter/setterやIteratorがある(それをすっかり忘れてた)ので
間にまったく処理が入っていなくても配列やオブジェクトの要素は寸前の評価と違う値になる可能性がある為
「自明に見える」と思い込んでるのがそもそも間違っていました。

理由がわかったのでArrayか評価後asで強制的に型変換すると言う対応に自信が持てました。

Answer 2

TypeScript/JavaScriptに暗く、あてずっぽうに近いコメントです・・・

let s: string = '';
let a: any = 'a';
let b = ['a', 0];

function foo(): string|number {
  return "foo";
}

if (typeof a === 'string') {
  s = a;
}

if (typeof foo() === 'string') {
  s = foo();                     // line 14
}

if (typeof b[0] === 'string') {
  s = b[0];                      // line 18
}

hello.ts(14,2): error TS2322: Type 'string | number' is not assignable to type 'string'.

Type 'number' is not assignable to type 'string'.

line 18でも同じエラー

tscのこの振る舞いを見るとプロパティーの参照は関数呼び出しなどと同様、「冪等でない」という前提があるように思えました。質問者さんがやっておられるように

const tmp = b[0];
if (typeof tmp === 'string') {
  s = tmp;
}

ならコンパイルエラーになりませんね・・・

JavaScriptの言語仕様でプロパティーの参照が冪等である(べき)かどうかは自分には分かりません。ただ、以下のように書けてしまうということを考えると「TypeScriptはそれを冪等でないと見做します」と言われれば納得できる気がしました。

class Foo {
  constructor() {
    this.paranoia = false;
  }

  get [0]() {
    const r = this.paranoia ? 'Yes' : 'No';
    this.paranoia = !this.paranoia;
    return r;
  }
}

let a = new Foo();
console.log(a[0]); // Yes
console.log(a[0]); // No