RFR: JDK-8306578: Report error if no label given in @see and {@link} when no default is available [v2]

[Jonathan Gibbons]

On Tue, 30 May 2023 16:10:39 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

>> Please review a trivial change to generate an error instead of a warning when no label is provided with a reference to a user-provided anchor.
>
> Hannes Wallnöfer has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains two commits:
> 
>  - Merge branch 'master' into JDK-8306578
>  - JDK-8306578: Report error if no label given in @see and {@link} when no default is available

Marked as reviewed by jjg (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/13720#pullrequestreview-1457686885