mono/tests/verifier/unverifiable_castclass_to_gtd.il

   1 .assembly extern mscorlib
   2 {
   3   .ver 4:0:0:0
   4   .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) // .z\V.4..
   5 }
   6 .assembly 'sre'
   7 {
   8   .hash algorithm 0x00008004
   9   .ver  0:0:0:0
  10 }
  11 .module modulename // GUID = {30125A6A-77AE-4084-B2EA-4B9F0F64A1B9}
  12
  13
  14   .class public auto ansi Sample<TFirst>
  15         extends [mscorlib]System.Object
  16   {
  17     .field  public  class Sample/'nested'<!0> 'field'
  18
  19     // method line 1
  20     .method public specialname rtspecialname
  21            instance default void '.ctor' ()  cil managed
  22     {
  23         // Method begins at RVA 0x20ec
  24         // Code size 7 (0x7)
  25         .maxstack 8
  26         IL_0000:  ldarg.0
  27         IL_0001:  call instance void object::'.ctor'()
  28         IL_0006:  ret
  29     } // end of method Sample::.ctor
  30
  31     // method line 2
  32     .method public
  33            instance default void test (class Sample<!TFirst> A_1)  cil managed
  34     {
  35         // Method begins at RVA 0x20f4
  36         // Code size 8 (0x8)
  37         .maxstack 8
  38         IL_0000:  ldarg.0
  39         IL_0001:  castclass class Sample/'nested'
  40         IL_0006:  pop
  41         IL_0007:  ret
  42     } // end of method Sample::test
  43
  44   .class nested private auto ansi 'nested'<TFirst>
  45         extends [mscorlib]System.Object
  46   {
  47
  48     // method line 3
  49     .method public specialname rtspecialname
  50            instance default void '.ctor' ()  cil managed
  51     {
  52         // Method begins at RVA 0x2100
  53         // Code size 7 (0x7)
  54         .maxstack 8
  55         IL_0000:  ldarg.0
  56         IL_0001:  call instance void object::'.ctor'()
  57         IL_0006:  ret
  58     } // end of method nested::.ctor
  59
  60   } // end of class nested
  61
  62   } // end of class Sample
  63
  64 .method public static int32 Main() cil managed
  65 {
  66         .entrypoint
  67         .maxstack 8
  68         newobj instance void class Sample<int32>::.ctor()
  69         ldnull
  70         call instance void class Sample<int32>::test(class Sample<!0>)
  71         ldc.i4.0
  72         ret
  73 }