値型に閉じてればジェネリクスのout固定が成り立つ、ジェネリクス自体も値型に閉じてないと駄目じゃないですかね

3:25 AM

でもジェネリクスを値型に限定することは今はできない

3:25 AM

protocool Foo: classはできるけど、逆は出来ない。