JIT: Redundant bound check

[EgorBo]

static bool ParseIP(string s)
{
    if (s.Length > 15)
    {
        return false;
    }

    Span<ushort> value = stackalloc ushort[16];
    value[s.Length] = '.';
    Consume(value);
    return true;
}


[MethodImpl(MethodImplOptions.NoInlining)]
static void Consume<T>(Span<T> _)
{
}

Currently, value[s.Length] = '.'; line produces a bound check while it shouldn't.

[dotnet-policy-service]

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