blob: f08200eaa66d5a04a7a12697a9e2cfeecb080789 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
namespace A
{
public interface IExtensible<T>
{
void AddAll<U> (U u)
where U : T;
}
public class ArrayList<T> : IExtensible<T>
{
void IExtensible<T>.AddAll<U> (U u)
{
InsertAll (u);
}
void InsertAll (T t)
{ }
}
}
namespace B
{
public interface IExtensible<S,T>
{
void AddAll<U> (U t)
where U : S;
}
public class ArrayList<X,Y> : IExtensible<Y,X>
{
public void AddAll<Z> (Z z)
where Z : Y
{
InsertAll (z);
}
void InsertAll (Y y)
{ }
}
}
namespace C
{
public interface IExtensible<S>
{
void AddAll<T> (T t)
where T : S;
}
public class Foo<U>
{ }
public class ArrayList<X> : IExtensible<Foo<X>>
{
public void AddAll<Y> (Y y)
where Y : Foo<X>
{
InsertAll (y);
}
void InsertAll (Foo<X> foo)
{ }
}
}
class X
{
public static void Main ()
{ }
}
|