mirror of
https://github.com/rust-lang/rust.git
synced 2025-05-12 01:47:38 +00:00
0b002eb906
Add `-Ztrait-solver=next-coherence` Flag that conditionally uses the trait solver *only* during coherence, for more testing and/or eventual partial-migration onto the trait solver (in the medium- to long-term). * This still uses the selection context in some of the coherence methods I think, so it's not "complete". Putting this up for review and/or for further work in-tree. * I probably need to spend a bit more time making sure that we don't sneakily create any other infcx's during coherence that also need the new solver enabled. r? `@lcnr` |
||
|---|---|---|
| .. | ||
| constraints | ||
| diagnostics | ||
| region_infer | ||
| type_check | ||
| util | ||
| borrow_set.rs | ||
| borrowck_errors.rs | ||
| constraint_generation.rs | ||
| consumers.rs | ||
| dataflow.rs | ||
| def_use.rs | ||
| facts.rs | ||
| invalidation.rs | ||
| lib.rs | ||
| location.rs | ||
| member_constraints.rs | ||
| nll.rs | ||
| path_utils.rs | ||
| place_ext.rs | ||
| places_conflict.rs | ||
| prefixes.rs | ||
| renumber.rs | ||
| session_diagnostics.rs | ||
| universal_regions.rs | ||
| used_muts.rs | ||