Records without empty primary constructor are not included in code coverage

[blackkaiman]

I have some records that look like this
public record Class1;
which are tested but they are not included in the code coverage. Once I add an empty primary constructor public record Class1(); it is included. Is this an expected behavior? I'm running this on 6.0.2