Fold E0612, E0613 into E0609

[strangeglyph]

As discussed in #42945, with PR 1506 tuple indices are no longer considered a separate case from normal field. This PR folds E06012 ("tuple index out of bounds") and E0613 ("type is not a tuple") into E0609 ("type does not have field with that name")

Resolves#42945

[rust-highfive]

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @pnkfelix (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.

[strangeglyph]

My apologies, I forgot to run the full test suite and apparently missed something.

[strangeglyph]

All tests pass now on my end

[Mark-Simulacrum]

Thanks for the pull request! We'll get @pnkfelix or someone else from the compiler team to review this soon.

cc @GuillaumeGomez -- perhaps you'd like to take a look since I believe you created some of these in the first place?

[GuillaumeGomez]

I feel like this error is a bit different than the others. Not sure if this is a good idea to merge it as well... To be more precise: the others refer to non-existing fields whereas this one is about accessing a out-of-bound value (so it kind of exist).

[GuillaumeGomez]

I really think we should keep E0612 on its own and not merge it with others.

[GuillaumeGomez]

Extra empty line.

[GuillaumeGomez]

Please put them into the error code list at the bottom.

[GuillaumeGomez]

This error is clearly less good from my point of view. Before it was very clear but now, seems more confusing.

[strangeglyph]

@GuillaumeGomez Alright, reverted the changes to E0612

[GuillaumeGomez]

Thanks! Please squash your commits and then it's good for me.

[alexcrichton]

ping @GuillaumeGomez, looks like this has been updated and is ready for a re-review?

[GuillaumeGomez]

The review was done, I was waiting for the squash. Since it's done, we can r+. Thanks @Boreeas!

@bors: r+

[bors]

📌 Commit d7ebc61 has been approved by GuillaumeGomez

[strangeglyph]

No problem! My apologies for not sending a notice that I squashed

[bors]

🔒 Merge conflict

[strangeglyph]

Rebased the PR

[GuillaumeGomez]

Then here we go again!

@bors: r+

[bors]

📌 Commit c215d08 has been approved by GuillaumeGomez

[bors]

⌛ Testing commit c215d08 with merge 1e5162c...

[bors]

☀️ Test successful - status-appveyor, status-travis
Approved by: GuillaumeGomez
Pushing 1e5162c to master...