Integrated: 8319339: Internal error on spurious markup in a hybrid snippet

[Pavel Rappo]

On Fri, 3 Nov 2023 17:30:00 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

> Please review this PR to fix an internal error caused by (malfunctioning diagnostics for) spurious markup in hybrid and external snippets.
> 
> Spurious markup resembles snippet markup, but isn't one. In particular, spurious markup has no effect on snippet processing and, if appears in the displayed region, is shown as is.

This pull request has now been integrated.

Changeset: c9077b8b
Author:    Pavel Rappo <prappo at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/c9077b8b816d2efe4559c71341228a8dc319604f
Stats:     142 lines in 3 files changed: 133 ins; 0 del; 9 mod

8319339: Internal error on spurious markup in a hybrid snippet

Reviewed-by: jjg

-------------

PR: https://git.openjdk.org/jdk/pull/16501