Flow 中 this 类型化的健全性改进，包括在函数和方法上注释 this 的能力。