We are seeing that c# records that do not use a primary constructor are being shown as receiving no code coverage, when the rest of the record is clearly used and tested.
I can’t work out what sort of test would stop this line from being uncovered. Other tools that show coverage do not even look for that line to be covered.