15/10/12 17:08:42.71 t3lNWbaJ.net
>>150
void Method<T,U>(T hoge) where T : Hoge<U>{}
みたいなメソッドだと、Uのせいで型推論が機能しなくなるので、
Hoge<T> : Hogeという形を作っておくと
void Method<T>(T hoge) where T : Hoge{}にできて型推論が効くということだと思う
15/10/12 17:08:42.71 t3lNWbaJ.net
>>150
void Method<T,U>(T hoge) where T : Hoge<U>{}
みたいなメソッドだと、Uのせいで型推論が機能しなくなるので、
Hoge<T> : Hogeという形を作っておくと
void Method<T>(T hoge) where T : Hoge{}にできて型推論が効くということだと思う