>>240
おお、素早い返答ありがとう。

型消去されるとして、色々サンプルコード書いてみたけど
valaのGenericsって型制約無しで、全て共変なんだね。
これだと、メソッドの引数で型安全が守れなくなるから、大きな欠陥なわけね。

参考
ttp://supersoftcafe.com/2011/07/vala-generics
コメント欄がかなり過激。