>>295
ありがとうございますちなみにそのフロー解析はドコまでやってくれるんでしょうか？
例えばtypeScript上で書いたFuncAがあって

let a= FuncA()
use(a)

みたいにFuncAの中で返却値がnullチェックされていれば
上記のようにnullチェック無しで使えるんでしょうか？