mono/tests/verifier/valid_sub_class_of_generic_type_is_compatible.il

   1
   2 // valid CIL which breaks the ECMA-335 rules.
   3 // this CIL should fail verification by a conforming CLI verifier.
   4
   5 .assembly 'valid_bin_cgt_un_null_value_generated'
   6 {
   7   .hash algorithm 0x00008004
   8   .ver  0:0:0:0
   9 }
  10
  11 .class private sequential ansi sealed beforefieldinit MyVT
  12         extends [mscorlib]System.Object
  13 {
  14         .field public [mscorlib]System.Decimal Value
  15 }
  16
  17
  18 .class public ansi beforefieldinit CustomDict
  19         extends class [mscorlib]System.Collections.Generic.Dictionary`2<string,int32>
  20 {
  21         .method public hidebysig specialname rtspecialname instance default void .ctor () cil managed
  22         {
  23                 .maxstack 8
  24                 ldarg.0
  25                 call instance void class [mscorlib]System.Collections.Generic.Dictionary`2<string, int32>::.ctor()
  26                 ret
  27         }
  28 }
  29
  30
  31 .method public static int32 Main() cil managed
  32 {
  33         .entrypoint
  34         .maxstack 8
  35         .locals init (class [mscorlib]System.Collections.Generic.Dictionary`2<string, int32> V_0)
  36
  37         newobj instance void CustomDict::.ctor()
  38         stloc.0
  39
  40
  41         ldc.i4.0
  42         ret
  43 }