これforceじゃないですかね

2:57 PM

上書き不可能な気がする

2:57 PM

associatedtypeのそれは、他の型で上書きできます

2:58 PM

無宣言の時だけ=の向こう側になる