JIT: BBF_HAS_NULLCHECK is not set on BB but is required #71193

// Generated by Fuzzlyn v1.5 on 2022-06-23 08:43:29
// Run on X86 Windows
// Seed: 5750726589836538152
// Reduced from 266.4 KiB to 1.7 KiB in 00:01:46
// Hits JIT assert in Release:
// Assertion failed 'false' in 'Program:Main(Fuzzlyn.ExecutionServer.IRuntime)' during 'Early Value Propagation' (IL size 97; hash 0xade6b36b; FullOpts)
//
//     File: C:\dev\dotnet\runtime3\src\coreclr\jit\earlyprop.cpp Line: 63
//
public interface I0
{
}

public struct S0 : I0
{
    public sbyte F0;
}

public class Program
{
    public static long[] s_21;
    public static bool[] s_23;
    public static ushort s_28;
    public static S0 s_31;
    public static short s_35;
    public static S0 s_46;
    public static short s_58;
    public static uint[][] s_63;
    public static void Main()
    {
        CollectibleALC alc = new CollectibleALC();
        System.Reflection.Assembly asm = alc.LoadFromAssemblyPath(System.Reflection.Assembly.GetExecutingAssembly().Location);
        System.Reflection.MethodInfo mi = asm.GetType(typeof(Program).FullName).GetMethod(nameof(MainInner));
        System.Type runtimeTy = asm.GetType(typeof(Runtime).FullName);
        mi.Invoke(null, new object[]{System.Activator.CreateInstance(runtimeTy)});
    }

    public static void MainInner(IRuntime rt)
    {
        var vr6 = s_21[0];
        long[] vr9 = new long[]{0};
        var vr10 = new S0();
        var vr11 = new S0();
        var vr12 = s_63[0][0];
        Program.M85(vr10, ref s_58, s_31, M85(s_46, ref s_35, vr11, vr12, ref vr9[0]), ref vr6);
    }

    public static ref ushort M85(S0 argThis, ref short arg0, I0 arg1, uint arg2, ref long arg3)
    {
        if (s_23[0])
        {
            arg0 = arg0;
        }

        return ref s_28;
    }
}

public interface IRuntime
{
    void WriteLine<T>(string site, T value);
}

public class Runtime : IRuntime
{
    public void WriteLine<T>(string site, T value) => System.Console.WriteLine(value);
}

public class CollectibleALC : System.Runtime.Loader.AssemblyLoadContext
{
    public CollectibleALC(): base(true)
    {
    }
}