Check preds post mono (round 2)#137003

compiler-errors wants to merge 2 commits intorust-lang:mainrust-lang/rust:mainfrom

compiler-errors:check-preds-post-monocompiler-errors/rust:check-preds-post-monoCopy head branch name to clipboard