new solver: implement canonicalization and region constraints by lcnr · Pull Request #107981 · rust-lang/rust