A CASE clause of the current DO SELECT-TYPE block refers to a super-type of the head type.

Additional Information

'X' is a super-type of 'Y'.

Explanation

All types referenced in case clauses of do select-type must be subtypes of the static type of the expression following do select-type, i.e., the head type.

[ INDEX ] [ CONCEPTS ] [ TASKS ] [ SYNTAX ] [ LIBRARIES ] [ LEGACY LIBRARIES ] [ ERRORS ]