Object handles and randomization

In reply to Bahaa Osman:

In either case, how to access brand specific field ?

for eg: let’s say Toyota has a field called prius

class toyota extends car;
int prius;
endclass

now, if someone wants to hierarchically access the field like
i_txn.mycars_arr[0].prius; //this is going to be an issue right ?

[assuming mycars_arr[0] is randomized to toyota]

i.e user has to typecast mycars_arr[0] back to Toyota handle and access it right ?