On Fri, 10 Mar 2023 10:17:18 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote: > This patch simplifies some recently added code to just use the newly added layout API method to drop a name from a value layout. Looks good to me. ------------- PR: https://git.openjdk.org/jextract/pull/112