[experiment] Use new solver in MIR validator subtyping checks#112365

compiler-errors wants to merge 1 commit intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:mir-inline-check-bettercompiler-errors/rust:mir-inline-check-betterCopy head branch name to clipboard