Where is the definition of ifDynamicCast?