Guidelines for defining an implicit delimited sequence

If the type of a component has a terminator, that terminator must be different from the delimiter of the explicit group. If the delimiter and terminator are both defined as literal values, a type analysis confirms both have different values.
The type of a component cannot be a binary item whose length is not fixed or sized.
If the type of a component or a contained component is not bound, the type of the component cannot have a delimiter that is the same as the delimiter of the implicit sequence.
If the range of a component is not bound, the type of that component must be content-distinguishable from the type of each component in the following set of that component.
If the type of a component has both an initiator and terminator, the nested delimiters do not have restrictions. If this is not the case, all contained delimiters must be different.