Structurally resolve in `check_ref_cast` in new solver#140713

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:check_ref_castcompiler-errors/rust:check_ref_castCopy head branch name to clipboard