Yes, in Java and C# for example, compile-time type and runtime type of a variable can be different when you instantiate an object of a type that inherits from a

Yes, in Java and C# for example, compile-time type and runtime type of a variable can be different when you instantiate an object of a type that inherits from an abstract base class.