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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.
using System;
public struct ValX0 {}
public struct ValY0 {}
public struct ValX1<T> {}
public struct ValY1<T> {}
public struct ValX2<T,U> {}
public struct ValY2<T,U>{}
public struct ValX3<T,U,V>{}
public struct ValY3<T,U,V>{}
public class RefX0 {}
public class RefY0 {}
public class RefX1<T> {}
public class RefY1<T> {}
public class RefX2<T,U> {}
public class RefY2<T,U>{}
public class RefX3<T,U,V>{}
public class RefY3<T,U,V>{}
public class Outer
{
public interface IGen<T>
{
bool InstVerify(System.Type t1);
}
}
public struct Gen<T> : Outer.IGen<T>
{
public T Fld1;
public Gen(T fld1)
{
Fld1 = fld1;
}
public bool InstVerify(System.Type t1)
{
bool result = true;
if (!(Fld1.GetType().Equals(t1)))
{
result = false;
Console.WriteLine("Failed to verify type of Fld1 in: " + typeof(Outer.IGen<T>) );
}
return result;
}
}
public class Test
{
public static int counter = 0;
public static bool result = true;
public static void Eval(bool exp)
{
counter++;
if (!exp)
{
result = exp;
Console.WriteLine("Test Failed at location: " + counter);
}
}
public static int Main()
{
Outer.IGen<int> IGenInt = new Gen<int>(new int());
Eval(IGenInt.InstVerify(typeof(int)));
Outer.IGen<double> IGenDouble = new Gen<double>(new double());
Eval(IGenDouble.InstVerify(typeof(double)));
Outer.IGen<string> IGenString = new Gen<string>("string");
Eval(IGenString.InstVerify(typeof(string)));
Outer.IGen<object> IGenObject = new Gen<object>(new object());
Eval(IGenObject.InstVerify(typeof(object)));
Outer.IGen<Guid> IGenGuid = new Gen<Guid>(new Guid());
Eval(IGenGuid.InstVerify(typeof(Guid)));
Outer.IGen<RefX1<int>> IGenConstructedReference = new Gen<RefX1<int>>(new RefX1<int>());
Eval(IGenConstructedReference.InstVerify(typeof(RefX1<int>)));
Outer.IGen<ValX1<string>> IGenConstructedValue = new Gen<ValX1<string>>(new ValX1<string>());
Eval(IGenConstructedValue.InstVerify(typeof(ValX1<string>)));
Outer.IGen<int[]> IGen1DIntArray = new Gen<int[]>(new int[1]);
Eval(IGen1DIntArray.InstVerify(typeof(int[])));
Outer.IGen<string[,]> IGen2DStringArray = new Gen<string[,]>(new string[1,1]);
Eval(IGen2DStringArray.InstVerify(typeof(string[,])));
Outer.IGen<object[][]> IGenJaggedObjectArray = new Gen<object[][]>(new object[1][]);
Eval(IGenJaggedObjectArray.InstVerify(typeof(object[][])));
if (result)
{
Console.WriteLine("Test Passed");
return 100;
}
else
{
Console.WriteLine("Test Failed");
return 1;
}
}
}
|