Update E0008 and E0007 to new format

[srdja]

Part of #35233
A fix for #35496

r? @jonathandturner

[rust-highfive]

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @jonathandturner (or someone else) soon.

If any changes to this PR are deemed necessary, please add them as extra commits. This ensures that the reviewer can see what has changed since they last reviewed the code. Due to the way GitHub handles out-of-date commits, this should also make it reasonably obvious what issues have or haven't been addressed. Large or tricky changes may require several passes of review and changes.

Please see the contribution instructions for more information.

[arielb1]

Could you also change the 2 nearby errors?

[srdja]

@arielb1

Sure, I can fix E0007 (@devshep is working on E0009), but I'd like to get some feedback from @jonathandturner first.

[sophiajt]

@srdja - I'll sign you up for E0007 so you can fix that one. @devshep can fix E0009. They're close together, but it's okay for multiple people to work on different ones.

[srdja]

@jonathandturner - I've updated E0007.

[sophiajt]

Looks good!

@bors r+ rollup

[bors]

📌 Commit aa40ec7 has been approved by jonathandturner