Provide any HTML file. Type not empty element in a body, like <a> anything </a>. Manually change opening tag to one from different element: <p> anything </a>. Get error highlighting. Alt+Enter, apply quick fix "Rename closing tag". Result: the code is correct: <p> anything </p>, but error highlighting is still shown. Highlighting is corrected on next file modification. Cannot reproduce this bug in XML.