]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 4755c7c 85e6f38)
Rollup merge of #107348 - lcnr:project-solve-new, r=compiler-errors
authorGuillaume Gomez <guillaume1.gomez@gmail.com>
Tue, 31 Jan 2023 22:38:50 +0000 (23:38 +0100)
committerGitHub <noreply@github.com>
Tue, 31 Jan 2023 22:38:50 +0000 (23:38 +0100)
commitd65f60d2767816805111ee406e7f36a723e1cfcb
treee644381b07862a0fa62fa7468abcef6824c82851tree | snapshot
parent4755c7c60e9496bdc2365854a0f0ec595a569547commit | diff
parent85e6f38e797959d2f65f908f88a81d3e6891d609commit | diff
Rollup merge of #107348 - lcnr:project-solve-new, r=compiler-errors

small refactor to new projection code

extract `eq_term_and_make_canonical_response` into a helper function which also is another guarantee that the expected term does not influence candidate selection for projections.

also change `evaluate_all(vec![single_goal])` to use `evaluate_goal`.

the second commit now also adds a `debug_assert!` to `evaluate_goal`.
compiler/rustc_trait_selection/src/solve/mod.rs diff1 | diff2 | blob | history
compiler/rustc_trait_selection/src/solve/project_goals.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.