Module select

Structs

Select 🔒

Traits

InferCtxtSelectExt

Functions

candidate_should_be_dropped_in_favor_of 🔒

This is a lot more limited than the old solver’s equivalent method. This may lead to more Ok(None) results when selecting traits in polymorphic contexts, but we should never rely on the lack of ambiguity, and should always just gracefully fail here. We shouldn’t rely on this incompleteness.

to_selection 🔒