Thanks James, I see that now yes. It looks like updating to ASM8 could be as easy as a one-character change in the code but don’t know what additional changes would be wanted by the SpotBugs team. So for now our answer is going to be “don’t use features that aren’t supported by SpotBugs”.
And yeah I did verify that the whole analysis doesn’t break down, just Records.