Typeというものについて調べたメモ。出てこない時まだ何かは全然わからないけれど、とりあえず出力される場合とそうでない場合があることが確認できたのでみてみる。Typeがでているみたい。なんとなく左辺で型を明示したことによって起こっていそうだということはわかる。いうパターンで構成されていることが確認できる。型を明示的に書いた場合とそうでない場合の違いが見て取れた。いうことらしいもう少し挙動を追ってみる。convertTypePurpose);この行で上書きされて消される。TypeChecker::typeCheckBindingで設定されている。getContextualTypeで取り出して何かに使われることはなかった。使われるようなので少し見て見る。