Can someone explain this type inference “glitch” in C# switch expression?

Question

I was messing around with C# switch expression and I encountered something quite weird.

Here is the code:

static void Main(string[] args)
{
    Console.Wri