Запутался в полиморфизме!

using System;
 
namespace ConsoleApp1
{
    class ClassA { /* ... */ }
 
    class ClassB : ClassA { /* ... */ }
 
    class Program
    {
        static void Main()
        {
            ClassB b = new ClassB();
            ClassA a = null;
 
            if (b is ClassA)
            {
                a = (ClassA)b;
            }
            else
            {
                a = null;
            }
            Console.ReadKey();
        }
    }
}

: ClassA

class ClassB : ClassA { public void M() { Console.WriteLine("Test"); } }

using System;
using System.Reflection;
 
namespace ConsoleApp1
{
    class ClassA { /* ... */ }
 
    class ClassB : ClassA { /* ... */ }
 
    class Program
    {
        static void Main()
        {
            ClassB b = new ClassB();
 
            if (b is ClassA a) // Pattern Matching из C#7
            {
            }
            else
            {
                a = null;
            }
 
            Console.WriteLine("Тип переменной a: " + TypeOfVariable(a).Name);
            Console.WriteLine("Переменная a ссылается на экземпляр класса: " + a.GetType().Name);
 
            Console.ReadKey();
        }
 
        public static Type TypeOfVariable<T>(T variable)
        => typeof(T);
    }
}