Make some assertions in solver into debug assertions#141651

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

compiler-errors:less-assertcompiler-errors/rust:less-assertCopy head branch name to clipboard