rust/compiler/rustc_trait_selection
nils 16938915a4
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```
2023-01-11 17:30:53 +01:00
..
src Rollup merge of #106397 - compiler-errors:new-solver-impl-wc, r=lcnr 2023-01-11 17:30:53 +01:00
Cargo.toml Remove from compiler/ crates 2022-09-29 16:49:04 +09:00