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` |
||
|---|---|---|
| .. | ||
| check.rs | ||
| compare_impl_item.rs | ||
| dropck.rs | ||
| intrinsic.rs | ||
| intrinsicck.rs | ||
| mod.rs | ||
| region.rs | ||
| wfcheck.rs | ||