Look for implied_bounds_in_impls in more positions

[y21]

With this, we lint impl Trait implied bounds in more positions:

• Type alias impl trait
• Associated type position impl trait
• Argument position impl trait
  • these are not opaque types, but instead are desugared to where clauses, so we need extra logic for finding them (check_generics), however the rest of the logic is the same

Before this, we'd only lint RPIT impl Traits.
"Hide whitespaces" and reviewing commits individually might make this easier

changelog: [implied_bounds_in_impls]: start linting implied bounds in APIT, ATPIT, TAIT

[rustbot]

r? @xFrednet

rustbot has assigned @xFrednet.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

[bors]

☔ The latest upstream changes (presumably #12306) made this pull request unmergeable. Please resolve the merge conflicts.

[xFrednet]

That's a smart refactoring, I like the change! :D

You can r=me once you've rebased.

[y21]

Rebased. Just had to re-bless the test since the $DIR was replaced with the actual directory path at some point
@bors r=xFrednet

[bors]

📌 Commit bbfe1c1 has been approved by xFrednet

It is now in the queue for this repository.

[bors]

⌛ Testing commit bbfe1c1 with merge aa2c94e...

[bors]

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: xFrednet
Pushing aa2c94e to master...