This falls out of the way decorations work. A non-inclusive mark decoration that is entirely covered by a replace decorations will be considered inside it, and not style the replacement widget.
This patch makes lint decorations inclusive, to avoid the issue in this specific situation.
I have reverted this patch again, since it caused issues. It doesn’t seem entirely unreasonable, when you replace the marked text, for the mark to become invisible.