Genericに対する勘違い

いきなりですが、↓のようなクラスがあったとします。

view plainprint?

1. class Super  
2. {  
3.  public void Write()  
4.  {  
5.   Console.WriteLine("Super");  
6.  }  
7. }  
8. class Sub : Super  
9. {  
10.  public new void Write()  
11.  {  
12.   Console.WriteLine("Sub");  
13.  }  
14. }  

class Super
{
 public void Write()
 {
  Console.WriteLine("Super");
 }
}
class Sub : Super
{
 public new void Write()
 {
  Console.WriteLine("Sub");
 }
}

で、これらクラスに対し

view plainprint?

1. static void Main(string[] args)  
2. {  
3.  new Super().Write();  
4.  new Sub().Write();  
5.  ((Super)new Sub()).Write();  
6.  Hoge(new Sub());  
7. }  
8.   
9. public static void Hoge(Sub t)  
10. {  
11.  t.Write();  
12. }  
13. public static void Hoge(Super t)  
14. {  
15.  t.Write();  
16. }  

static void Main(string[] args)
{
 new Super().Write();
 new Sub().Write();
 ((Super)new Sub()).Write();
 Hoge(new Sub());
}

public static void Hoge(Sub t)
{
 t.Write();
}
public static void Hoge(Super t)
{
 t.Write();
}

というコードを実行した場合、結果は

Super
Sub
Super
Sub

となります。メソッドのオーバーロードが働いた結果ですね。
ここは、期待通り。で、先ほどのコードの9~16行目を

view plainprint?

1. public static void Hoge<T>(T t) where T : Super  
2. {  
3.  t.Write();  
4. }  

public static void Hoge<T>(T t) where T : Super
{
 t.Write();
}

と書き換えた場合、結果は変わらないと思っていました。
しかし、現実は…

Super
Sub
Super
Super

となり

view plainprint?

1. public static void Hoge(Super t)  
2. {  
3.  t.Write();  
4. }  

public static void Hoge(Super t)
{
 t.Write();
}

と書いた場合と同じでした。残念。
うまくないなぁ。