Thank you, it's a great first PR!

Since in our tests/* we're verifying if the results are on a correct line and this removes the first couple of lines of copyright notice, the line numbers in tests need to be adjusted to match the changed files (also json formatting change is fine, don't worry about it).

Thanks for your quick and detailed response. :) I missed that(because I didn't knew it is verifying this by static results). I'll fix that tomorrow. :) Too tired..

No worries, thanks!

I think that should be it, but maybe I missed some tests(because I've got multiple ICEs while testing) although I've got test result: ok. 29 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out in the end overall for cargo test --test tests_old.

Yeah, that's good. The ICE fix is pending at rust-lang/rust#57436, no need to worry about that.

Just a heads up - it's good to include in the PR title what's the actual change (e.g. "Remove copyright headers") instead of the issue number. This way everyone can know at a glance what the PR is about and you're probably going to write

fixes #issue_no

in the description anyway, so GitHub (and others!) knows what's the related issue.

But that's super minor; thank you for your work!

Thanks for the heads up. :)