static void Test(int x)
{
    switch (x)
    {
        case 1:
            Console.WriteLine(x == 1);
            break;
        case 2:
            Console.WriteLine(x == 2);
            break;
        case 3:
            Console.WriteLine(x == 3);
            break;
    }
}

Currently, JIT can't fold these x == y checks, but should be able to. This is a minimal repro for a popular case when Span/Array Length is used for switch and then all legs use that span.

For example, any attempt to remove unsafe code from the following function will hit regressions because of it: