Characteristic predicate TranslatedDynamicCast::TranslatedDynamicCast

TranslatedDynamicCast()