Mutation testing frameworks like PIT want to modify code that are user authored, to inject bugs and then see if they’re caught by unit tests.
As you can see:
They are attempting to come up with heuristics to identify methods that cannot possibly contain bugs because they are auto-generated by the Kotlin compiler (and we assume, of course, that the JetBrains team do not create bugs in such methods ;)).
It seems like the cleanest solution would be to introduce a new annotation and have the Kotlin compiler attach it to methods that are fully auto generated like data class methods, auto-generated getters/setters, auto-generated constructors and so on.
How hard would that be? I’m assuming not that hard.