9 static void M1
<T
> (T t
) where T
: struct
13 static void M2
<T
, U
> (T t
, U u
) where U
: IEquatable
<T
>
17 static void M3
<T
, U
> (T t
, A
<U
> u
) where U
: IEquatable
<T
>
21 static void M4
<T
, U
> (T t
, IEquatable
<U
> u
) where T
: IEquatable
<U
>
25 public static void Main ()
33 M3 (d
, new A
<int> ());
36 // TODO: type inference