mcs/tests/dtest-030.cs

   1 using System;
   2
   3 class A<T>
   4 {
   5 }
   6
   7 class B
   8 {
   9         static void M1<T> (T t) where T : struct
  10         {
  11         }
  12
  13         static void M2<T, U> (T t, U u) where U : IEquatable<T>
  14         {
  15         }
  16
  17         static void M3<T, U> (T t, A<U> u) where U : IEquatable<T>
  18         {
  19         }
  20
  21         static void M4<T, U> (T t, IEquatable<U> u) where T : IEquatable<U>
  22         {
  23         }
  24
  25         public static void Main ()
  26         {
  27                 dynamic d = 2;
  28                 M1 (d);
  29
  30                 M2 (d, 6);
  31                 M2 (4, d);
  32
  33                 M3 (d, new A<int> ());
  34
  35                 M4 (d, 6);
  36                 // TODO: type inference
  37                 //M4 (4, d);
  38         }
  39 }
  40