Lint nested binary operations and handle field projections in eager_transmute

[y21]

This PR makes the lint a bit stronger. Previously it would only lint (x < 4).then_some(transmute(x)) (that is, a single binary op in the condition). With this change, it understands:

• multiple, nested binary ops: (x < 4 && x > 1).then_some(...)
• local references with projections: (x.field < 4 && x.field > 1).then_some(transmute(x.field))

changelog: [eager_transmute]: lint nested binary operations and look through field/array accesses

r? llogiq (since you reviewed my initial PR #11981, I figured you have the most context here, sorry if you are too busy with other PRs, feel free to reassign to someone else then)

[y21]

It now also catches contains calls on ranges with the last commit, e.g. (1..=3).contains(&x).then_some(transmute(x)), since that's another common way of checking if an integer is within a range

[llogiq]

Thank you! Implementations + tests look good.

@bors r+

[bors]

📌 Commit 6c28f07 has been approved by llogiq

It is now in the queue for this repository.

[bors]

⌛ Testing commit 6c28f07 with merge ebf5c1a...

[bors]

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