6.6.5.3 For new(p, c1..cN), it is an error if a variant of a variant-part within the new variable becomes active and a different variant of the variant-part is one of the specified variants.
In other words, if you use this form of the new procedure and specify case constants c1 thru cN then it is an error if a variant other than those specified by c1 thru cN become active.
Irie Pascal does not support this form of the new procedure so this error can not occur.