Apply one or more descriptors to an existing descriptor so that they represent a merged version of the descriptors.
Used to widen a descriptor as more differently-shaped objects are described into it (e.g. array elements of
different types), rather than replacing it outright.
Parameters
originalMap: descriptor
The base descriptor to merge onto (not mutated - a
clone is merged and returned).
...descriptors: descriptor[]
One or more further descriptors to merge in.
Returns descriptor
A new descriptor representing the merge of all of the above.
Apply one or more descriptors to an existing descriptor so that they represent a merged version of the descriptors. Used to widen a descriptor as more differently-shaped objects are described into it (e.g. array elements of different types), rather than replacing it outright.