Сопоставление с шаблоном с несоответствующим интерфейсом не генерирует предупреждение

Я наткнулся на пропущенное предупреждение при использовании функции сопоставления с образцом в C #. Обычно компилятор очень умен для обнаружения недоступного кода, поэтому мне интересно, почему это не сгенерирует предупреждение:

internal interface IAction{}
internal class Increment : IAction{}
internal class Decrement : IAction{}
internal class DoNothing{}

internal class Program
{
    private static void Main(string[] args)
    {
        // obviously the following will not compile: 
        // Console.Write(Dispatch(5, new DoNothing()));
        Console.Write(Dispatch(5, new Increment()));
    }

    private static int Dispatch(int value, IAction action)
    {
        switch (action)
        {
            case Increment _:
                return value + 1;
            case Decrement _:
                return value - 1;
            case DoNothing _: // Not an IAction, will never happen, but no warning is generated
                return value;
            default:
                return value;
        }
    }
}