staticReadOnlySpan<byte>MySpan=>newbyte[]{1,2,3,4,5};intGetElement(intindex){if((uint)index<(uint)MySpan.Length)// and all variationsreturnMySpan[index];return0;}

; Method Program:GetElement(int):int:thisG_M56827_IG01:-      sub      rsp, 40G_M56827_IG02:-      mov      eax, edx-      cmp      rax, 5-      jge      SHORT G_M56827_IG05+      cmp      edx, 5+      jae      SHORT G_M56827_IG05G_M56827_IG03:-      cmp      edx, 5-      jae      SHORT G_M56827_IG07       mov      eax, edx       mov      rdx, 0xD1FFAB1E       movzx    rax, byte  ptr [rax+rdx]G_M56827_IG04:-      add      rsp, 40       ret      G_M56827_IG05:       xor      eax, eaxG_M56827_IG06:-      add      rsp, 40       ret-G_M56827_IG07:-      call     CORINFO_HELP_RNGCHKFAIL-      int3-; Total bytes of code: 51+; Total bytes of code: 25

publicclassTests{staticReadOnlySpan<byte>MySpan=>newbyte[]{1,2,3,4,5};publicstaticintTest1(intindex){if((uint)index<MySpan.Length)returnMySpan[index];return0;}publicstaticintTest2(intindex){if(MySpan.Length>(uint)index)returnMySpan[index];return0;}publicstaticintTest3(intindex){if(MySpan.Length<=(uint)index)return0;returnMySpan[index];}publicstaticintTest4(intindex){if((uint)index>=MySpan.Length)return0;returnMySpan[index];}publicstaticintTest5(intindex){if(index<0||index>=MySpan.Length)return0;returnMySpan[index];}publicstaticintTest6(intindex){if(index>=0&&index<MySpan.Length)returnMySpan[index];return0;}publicstaticintTest7(intindex){if(index<0)thrownewException();if(index>=MySpan.Length)thrownewArgumentException();returnMySpan[index];}publicstaticintTest8(intindex){if((uint)index<2)// 2 is less than MySpan.LengthreturnMySpan[index];return0;}publicstaticintTest9(intindex){if(index<2||index>4)// e.g. we restrict index to be in [2..3] range despite the fact MySpan is fine with [0..4]thrownewArgumentException();returnMySpan[index];}}

intfoo(uinti,int[]array){if(i<array.Length)returnarray[i];return0;}