Avatar
GenericsでU,T宣言してwhere U:Tが書けないから、出来ることが限られてるけど
2:25 AM
取りあえず大枠としての目標は、型消しで共変を無理矢理サポートさせるみたいな事がしたい。
2:26 AM
AnyHogeでラップしたら共編の範囲内で推論される