はリファレンス実装ということもあり現在広く使われている実装とは若干違う部分があり

そのプロパティをメソッドとして実装したときに第一引数の

このミスにハマるとメチャクチャ面倒なことになる

の型生成はあることを前提にして作るので，ここで型定義が合わなくて無茶苦茶になる

プログラミング言語に型を付けられるという甘えた発想を捨て、きちんと自分を信じ型をエスパーするといった精神が大事ということになる