Rollup merge of #149302 - zjumathcode:main, r=jackh726

Fix comment wording in simplify_comparison_integral.rs

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.

Author: matthiaskrgr