RFR: TestDocComments fixes

Mon Nov 20 18:58:40 UTC 2023

On Mon, 20 Nov 2023 18:49:24 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> This PR contains a port for:
> 
> https://github.com/openjdk/jextract/commit/0aaf75cdfe14df6f3a3f4e3d80f5384414a78ade
> 
> As well as a fix that is required by the changes in: https://git.openjdk.org/jextract/pull/137

Marked as reviewed by jvernee (Committer).

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

PR Review: https://git.openjdk.org/jextract/pull/140#pullrequestreview-1740490475