do not allow inference in `predicate_must_hold`#109558

lcnr wants to merge 2 commits intorust-lang:masterrust-lang/rust:masterfrom

lcnr:predicate_must_hold-no-inferlcnr/rust:predicate_must_hold-no-inferCopy head branch name to clipboard