make never_loop applicability more flexible

[lapla-cogito]

The applicability of never_loop is currently set to Unspecified, but if the loop block does not contain break or continue, it can be MachineApplicable.

changelog: [never_loop]: the applicability is now MachineApplicable when the loop block contains neither break nor continue

[rustbot]

r? @y21

rustbot has assigned @y21.
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

[samueltardieu]

You should create a tests/ui/never_loop_fixable.rs to test the fixed version, which would not include //@no-rustfix (which never_loop.rs includes).

[lapla-cogito]

Thanks, I've ported the test for this patch to a new file.

[lapla-cogito]

Rebased to address the recent changes in error annotation.

[y21]

LGTM, thank you