]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 0681a96 36ee66c)
Rollup merge of #106397 - compiler-errors:new-solver-impl-wc, r=lcnr
authornils <48135649+Nilstrieb@users.noreply.github.com>
Wed, 11 Jan 2023 16:30:53 +0000 (17:30 +0100)
committerGitHub <noreply@github.com>
Wed, 11 Jan 2023 16:30:53 +0000 (17:30 +0100)
commit16938915a46c64dd83f02dee85e5b4eba6891076
treea69d0e7c7258b99107f70084fa87027b7ef2ee39tree | snapshot
parent0681a9652eaaaefb5bada3be3c5303318e5f69b8commit | diff
parent36ee66c6c5e5e5f1a132faf28c6a5d28e950a2bacommit | diff
Rollup merge of #106397 - compiler-errors:new-solver-impl-wc, r=lcnr

Check `impl`'s `where` clauses in `consider_impl_candidate` in experimental solver

Check impl's nested predicates as part of the recursive evaluate in `consider_impl_candidate`.

<sub>Unless, for some reason, these are intentionally **not** checked here -- in which case, I really don't understand where they're being checked...<sub>

r? ```@lcnr```
Empowering everyone to build reliable and efficient software.