class C {
    public static U Fct1<U>() { return default(U); }
    public static void Fct2<U>(U u) { return; }
    public static U Fct3<U>(U u) { return default(U); }
    public static void Fct4<U>(U u1, U u2) { return; }
    public static void Fct5<U>(U[] arrayOfU) { return; }
}
class Program {
   static void Main() {
      // Erreur de compilation: The type arguments for method 
      // 'C.Fct1<U>()' cannot be inferred from the usage.
      string s = C.Fct1();

      // Erreur de compilation: Cannot implicitly convert type 
      // 'System.IDisposable' to 'string'.
      string s = C.Fct1<System.IDisposable>();
      s = C.Fct1<string>(); // OK

      C.Fct2("hello"); // Infère: le type paramètre U est string.

      // Erreur de compilation: The type arguments for 
      // method 'C.Fct2<U>(U)' cannot be inferred from the usage.
      C.Fct2(null);

      int i = C.Fct3(6); // Infère: le type paramètre U est int.

      double d = C.Fct3(6); // ATTENTION: Infère: le type paramètre 
                            // U est int et non pas double.

      // Erreur de compilation: Cannot implicitly convert 'int' 
      // to 'System.IDisposable'.
      System.IDisposable dispose = C.Fct3(6);

      // Infère le type paramètre U est string.
      C.Fct4("hello", "bonjour"); 

      // Erreur de compilation: The type arguments for method 
      // 'C.Fct4<U>(U,U)' cannot be inferred from the usage.
      C.Fct4(5, "bonjour");

      C.Fct5(new int[6]); // Infère: le type paramètre U est int.
   }
}