Code

Check preds post mono (round 2)#137003

Code

Draft

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

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

Commits

Commits on Feb 14, 2025

• Use the new solver in the impossible_predicates

  compiler-errors

  committed
  db32f75

  Copy full SHA for db32f75

• Check for post-mono failures

  compiler-errors

  committed
  193b93c

  Copy full SHA for 193b93c