![]() Prefer lower vtable candidates in select in new solver Also, adjust the select visitor to only winnow when the *parent* goal is `Certainty::Yes`. This means that we won't winnow in cases when we have any ambiguous inference guidance from two candidates. r? lcnr |
||
---|---|---|
.. | ||
src | ||
Cargo.toml | ||
messages.ftl |