Records without empty primary constructor are not included in code coverage

coverlet-coverage / coverlet

Cross platform code coverage for .NET

MIT License

2.99k stars 386 forks source link

Records without empty primary constructor are not included in code coverage #1655

Closed blackkaiman closed 1 month ago

blackkaiman commented 6 months ago

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

Bertk commented 1 month ago

There is already an issue #1633 #1576

[BUG] Records show no coverage