I'm trying to figure out if dispatching or performance loss occurs during such manipulations:

procedure Main is
    type T is tagged null record;
    type T_Access is access all T;
    type T_Class_Access is access all T'Class;
    
    A : aliased T;
    B : T_Access;
    C : T_Class_Access;
begin
    B := A'access;
    C := T_Class_Access (B);
    B := T_Access (C);
end Hello;