do not allow inference in `predicate_must_hold` (alternative approach)#110100

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:no-infer-pred-must-holdcompiler-errors/rust:no-infer-pred-must-holdCopy head branch name to clipboard