Upcasts

Definition of Upcasts