對流中的對象進行類型優化

Question

我很難理解爲什麼this抱怨。在文檔中給出關於width subtyping的討論，我期望確切的對象類型來解決這個問題。任何人都可以指出我的錯誤？

Answer 1

顯然我的例子是錯誤的。 Here's實際上發生了什麼，它每次都要對函數的結果進行細化，以存儲函數的結果並對其進行細化。