The last letter of var is wrong when using var code mining

[JanecekPetr]

The last letter of var, and the type of the variable, are weirdly wrong with different fonts on Mac:

This is OK, no code mining, using Monaco 12:

When the code mining is enabled, the last letter and the type itself are down by a pixel (zoomed in a lot to make it more clear, and added a line):

I tried a different font, Menlo, which supports boldness, and this is the result:

No code mining:

Code mining - the last letter is not bold:

Mac Ventura 13.2.1 (22D68), eclipse 2022-12 (4.26.0)