Integrated: 7903667: Functional interface name nested inside function pointer class should be mangled

[Maurizio Cimadamore]

On Fri, 16 Feb 2024 16:31:36 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> This simple PR adds name mangling for the functional interface nested inside the function pointer class, in case the latter is called "Function".

This pull request has now been integrated.

Changeset: 7db170a8
Author:    Maurizio Cimadamore <mcimadamore at openjdk.org>
URL:       https://git.openjdk.org/jextract/commit/7db170a8c23529028780c35a369263465240b3f9
Stats:     73 lines in 3 files changed: 64 ins; 1 del; 8 mod

7903667: Functional interface name nested inside function pointer class should be mangled

Reviewed-by: jvernee

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

PR: https://git.openjdk.org/jextract/pull/215