а как оно работает? у тебя все типы предопределены кодом в любом случае. ты туда просто вообще не сможешь что-либо другое пропихать никак. соответственно через rtti всё отработает и вызовется именно та специализация ф-ции, которая реализована для этого конретного типа, либо дефолтная для предка