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() {
      // Compilation error: The type arguments for method 
      // 'C.Fct1<U>()' cannot be inferred from the usage.
      string s = C.Fct1();

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

      C.Fct2( "hello" ); // Infer 'U' as 'string'.

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

      int i = C.Fct3( 6 ); // Infer 'U' as 'int.

      double d = C.Fct3( 6 ); // Awkward: Infer 'U' as 'int' ...
                              // ... and not as 'double'.

      // Compilation error: Cannot implicitly convert 'int' 
      // to 'System.IDisposable'.
      System.IDisposable dispose = C.Fct3( 6 );

      // Infer 'U' as 'string'.
      C.Fct4( "hello", "bonjour" ); 

      // Compilation error: 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] ); // Infer 'U' as 'int.
   }
}