Fix comment wording in simplify_comparison_integral.rs

[zjumathcode]

This change corrects the wording in a comment within simplify_comparison_integral.rs, changing "user" to "used" to accurately describe that a moved value cannot be used later on.

The adjustment improves code documentation clarity while maintaining consistency with our standards for precise terminology in comments.

[rustbot]

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

[rustbot]

r? @jackh726

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

[jackh726]

@bors r+ rollup

[bors]

📌 Commit d8c9d70 has been approved by jackh726

It is now in the queue for this repository.