Merges left.source
and right.source
into a common source, providing source
through that common source to the unknown targets X and Y.
Merges left.source
and right.source
into a common source, providing source
through that common source to the unknown targets X and Y.
In general, if left.source
and right.source
are equal, we cannot simply return
SrcMerge(a1, fm1, fm2)
because the Hole
in fm1
and fm2
reference
some unknown source and do not reference left.source
. In this case, our source
merging has converged (at least for this iteration), but fm1
and fm2
still
reference the old common source (which is not known to us here).