TypeScript无法检测到空指针错误

Question

我启用了strictNullChecks选项，TypeScript将检测空指针错误：

class A { hi(){} }
let a: A
a.hi() // => Error correctly detected

但如果我稍微更改一下，TypeScript将无法检测到它：

class A { hi(){} }
let a: A
function b() { a.hi() } // => Failed to detect error

是否已知问题或者我需要启用一些其他TS选项来捕获此类错误？