CORBA24 — Use of incomplete recursive TypeCodes underspecified

Section 10.7.3 of the CORBA 2.3 spec says that operations on recursive
TypeCodes and recursive sequence TypeCodes before they have been embedded
give undefined results.

However, it is not clear whether this applies to other uses of these
TypeCodes ... or other incomplete TypeCodes or Anys that contain them. For
example, can an incomplete TypeCode be used:

• as a parameter to create_dyn_any_from_type_code,

• as a parameter to a DII or DSI operation; e.g. the arg_type parameter
  of CORBA::Request::add_arg(), or

• as a (CORBA IDL) parameter or result of a regular operation invocation?

No Data Available