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 🔒