dispose(p, k1..kM) constraint violations

Official Description

6.6.5.3 For dispose(p, k1..kM), it is an error if the variants identified by the pointer value of p are different from those specified by the case-constants k1..kM.

Error Handling

Irie Pascal does not support this form of the dispose procedure so this error can not occur.