4 if [ `which gsed 2> /dev/null` ] ; then
14 INST_TYPE
="DefaultArgument";
15 if [ "$TEST_INST_TYPE" != "" ]; then
16 INST_TYPE
="$TEST_INST_TYPE";
21 TEST_NAME
=${TEST_VALIDITY}_
${TEST_NAME}
22 TEST_FILE
=${TEST_NAME}_generated.il
24 $SED -e "s/INIT/${TEST_INIT}/g" -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/TARGET_CONSTRAINT/${TEST_DEST}/g" -e "s/SOURCE_CONSTRAINT/${TEST_SRC}/g" > $TEST_FILE <<//EOF
26 // VALIDITY CIL
which breaks the ECMA-335 rules.
27 // this CIL should fail verification by a conforming CLI verifier.
29 .assembly
'${TEST_NAME}_generated'
31 .
hash algorithm
0x00008004
35 .assembly extern mscorlib
38 .publickeytoken
= (B7
7A
5C
56 19 34 E0
89 ) // .z\V
.4..
41 .module bne_with_generic_type_type.exe
43 .class interface public auto ansi abstract IfaceA
47 .class interface public auto ansi abstract IfaceB
51 .class public auto ansi Class extends
[mscorlib
]System.Object
53 .method public hidebysig specialname rtspecialname instance default void
'.ctor' () cil managed
57 call instance void object
::'.ctor'()
62 .class public auto ansi DefaultArgument extends Class implements IfaceA
, IfaceB
64 .method public hidebysig specialname rtspecialname instance default void
'.ctor' () cil managed
68 call instance void Class
::'.ctor'()
75 .class public auto ansi beforefieldinit Test
76 extends
[mscorlib
]System.Object
79 .method public hidebysig specialname rtspecialname instance default void
'.ctor' () cil managed
83 call instance void object
::'.ctor'()
87 .method public static void Method
< SOURCE_CONSTRAINT T
> ()
94 .class public auto ansi beforefieldinit Test2
< TARGET_CONSTRAINT T
>
95 extends
[mscorlib
]System.Object
97 .method public static void Method
()
100 call void class Test
::Method
<!T
>()
105 .method public static int32 Main
()
110 call void class Test2
< $INST_TYPE >::Method
()