MSIL Verification Notes - 10

  • Article

Another one that taking ArgIterator is deemed unverifiable. This time is for making a Type Reference.

       ()  {     8      (        []  [] args,        []  [] tref)    L_0000:      L_0004:      L_0006:    []::( [])    L_000b:      L_000f:  []    L_0014:      L_0018:      L_001c:    [] []::()    L_0021:      L_0026:      L_0027:   []::()    L_002c:  }
 The PEverify states below
 [IL]: Error: [xxx.exe : TestClass::VarArg][mdToken=0x6000001][offset 0x0000000F] Mkrefany on TypedReference, ArgHandle, or ArgIterator.(Error: 0x801318B7)