Completeness for type pattern matching

Completeness.cs

class Message { }
class A : Message { }
class B : Message { }
class C : Message { }

class PatternMatching
{
    public static void Match(Message m)
    {
        if (m is A) { /* ... */ return; }
        if (m is B) { /* ... */ return; }
        if (m is C) { /* ... */ return; }

        // もう所望の全パターン網羅済み！
        // ここに来るはずがない！
        // というか、ここに来ない保証がほしい。
    }
}