IR type promotion