VSCodeでTypeScriptの型チェックがうまくできていない?