delegate void GenericDelegateA<U>(U u);
delegate void GenericDelegateB(int i);
delegate U    GenericDelegateC<U>();
class Program {
   static void Fct1<T>(T t) { return; }
   static T    Fct2<T>() { return default(T); }
   static void Main() {
      GenericDelegateA<string> d1 = Fct1; // Le compilateur infére 
                                          // Fct1<string>.
      GenericDelegateB d2 = Fct1; // Le compilateur infére Fct1<int>.
      GenericDelegateC<string> d3 = Fct2<string>; // OK mais pas 
                                                  // d'inférence.

      // Erreur de compilation: The type arguments for 
      // method 'Program.Fct2<T>()' cannot be inferred from the usage.
      GenericDelegateC<string> d4 = Fct2;
   }
}