Repo build using checked runtime fails with JIT asserts

[jkotas]

Repro

Build checked runtime, patch the bootstrap SDK with it, and rebuild:

build.cmd -s clr+libs -c release -rc checked
taskkill /F /IM dotnet.exe
copy artifacts\bin\testhost\net10.0-windows-Release-x64\shared\Microsoft.NETCore.App\10.0.0\* .dotnet\shared\Microsoft.NETCore.App\10.0.0-alpha.1.25073.13\*
del /s artifacts\*.dll
build.cmd -s clr+libs -c release -rc checked

Result

  sfx-finish -> Trimming win-x64 shared framework assemblies with ILLinker...

  Assert failure(PID 25472 [0x00006380], Thread: 11028 [0x2b14]): Assertion failed '!"Unexpected tree op after call mar
  ked as tailcall"' in 'ILLink.Shared.TrimAnalysis.SystemReflectionMethodBaseValue:Equals(ILLink.Shared.DataFlow.Single
  Value):ubyte:this' during 'Morph - Global' (IL size 8; hash 0x9e01e8f8; Tier1)

[dotnet-policy-service]

Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch
See info in area-owners.md if you want to be subscribed.

[EgorBo]

@dotnet/jit-contrib if it rings a bell

[EgorBo]

The tree is:

[000188] -----------                         *  CAST      int <- ubyte <- int
[000162] -----------                         \--*  LCL_VAR   int    V11 tmp9          (last use)

------------ BB31 [0037] [000..001) -> BB29(1) (always), preds={BB05} succs={BB29}

***** BB31 [0037]
STMT00043 ( INL09 @ 0x000[E-] ... ??? ) <- INL08 @ 0x010[E-] <- INL02 @ 0x00D[E-] <- INL01 @ ??? <- INLRT @ 0x000[E-]
               [000180] DAC-G------                         *  STORE_LCL_VAR int    V11 tmp9         
               [000160] --C-G------                         \--*  CALLV vt-ind int    System.Object:Equals(System.Object):ubyte:this
               [000164] ----------- this                       +--*  LCL_VAR   ref    V12 tmp10         (last use)
               [000159] ----------- arg1                       \--*  LCL_VAR   ref    V17 tmp15         (last use)

------------ BB29 [0035] [000..001) -> BB02(1) (always), preds={BB30,BB31} succs={BB02}

***** BB29 [0035]
STMT00012 ( INL02 @ 0x00D[E-] ... ??? ) <- INL01 @ ??? <- INLRT @ 0x000[E-]
               [000053] DA---------                         *  STORE_LCL_VAR ubyte  V04 tmp2         
               [000188] -----------                         \--*  CAST      int <- ubyte <- int
               [000162] -----------                            \--*  LCL_VAR   int    V11 tmp9          (last use)

------------ BB06 [0005] [000..001) -> BB02(1) (always), preds={BB08} succs={BB02}

------------ BB02 [0007] [000..008) (return), preds={BB06,BB07,BB29} succs={}

***** BB02 [0007]
STMT00001 ( 0x000[E-] ... ??? )
               [000004] --C--------                         *  RETURN    int   
               [000054] -----------                         \--*  LCL_VAR   ubyte  V04 tmp2          (last use)

[JulieLeeMSFT]

@jakobbotsch, PTAL.