I used an Auto Mask to erase a shadow being cast on a concrete path and the grass next to it. Raising exposure and moving white balance toward yellow and red neutralized the spot, but left a colored boundary.
Before local adjustments:
After local adjustments:
I decided to try a combination of cloning and healing using the Repair tool. However, both modes darken the boundary despite copying pixels from the interior of the lightened area. The healing mask completely darkens the spot on which it’s applied. A clone mask creates a black border around itself:
It appears that the Repair tool is drawing pixels from the original image before a local adjustment mask was applied. I’ve uploaded my test image for review: P4240023.ORF and its .dop file.