2010-06-21 Rodrigo Kumpera <rkumpera@novell.com>
[mcs.git] / ilasm / tests / generics-variance.il
blob6be5c0e1757185c528a4de55450b0fab7204d179
1 //
2 // Test a generic type type param field
3 //
5 .assembly extern mscorlib { }
8 .namespace Mono.ILASM.Tests {
10 .class public Covariant<+T> extends [mscorlib]System.Object {
12         .field public !0 val
14         .method public instance void .ctor () {
15                 ret
16         }
19 .class public Contravariant<-T> extends [mscorlib]System.Object {
21         .field public !0 val
23         .method public instance void .ctor () {
24                 ret
25         }
28 .class public Driver extends [mscorlib]System.Object {
30         .method public static void Main () {
31                 .entrypoint
32                 newobj instance void class Mono.ILASM.Tests.Covariant<string>::.ctor ()
33                 castclass class Mono.ILASM.Tests.Covariant<object>
34                 call void [mscorlib]System.Console::WriteLine (object)
36                 newobj instance void class Mono.ILASM.Tests.Covariant<object>::.ctor ()
37                 castclass class Mono.ILASM.Tests.Covariant<string>
38                 call void [mscorlib]System.Console::WriteLine (object)
39                 
40         ret
41         }