Struct ProbeAllChoice 

struct ProbeAllChoice<'db> {
    candidates: RefCell<FxIndexMap<CandidateId, CandidateWithPrivate<'db>>>,
    considering_visible_candidates: bool,
}

Fields

candidates: RefCell<FxIndexMap<CandidateId, CandidateWithPrivate<'db>>>

considering_visible_candidates: bool

Implementations

impl ProbeAllChoice<'_>

fn new() -> Self

Trait Implementations

impl<'db> Debug for ProbeAllChoice<'db>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'db> ProbeChoice<'db> for ProbeAllChoice<'db>

type Choice = Infallible

type FinalChoice = ProbeAllChoice<'db>

fn with_impl_or_trait_item<'a>( this: &mut ProbeContext<'a, 'db, Self>, items: &[(Name, AssocItemId)], callback: impl FnMut(&mut ProbeContext<'a, 'db, Self>, CandidateId), )

Finds the method with the appropriate name (or return type, as the case may be).

fn consider_candidates( this: &ProbeContext<'_, 'db, Self>, _self_ty: Ty<'db>, candidates: Vec<&Candidate<'db>>, ) -> ControlFlow<Self::Choice>

fn consider_private_candidates( this: &mut ProbeContext<'_, 'db, Self>, self_ty: Ty<'db>, instantiate_self_ty_obligations: &[Obligation<'db, Predicate<'db>>], )

fn map_choice_pick( choice: Self::Choice, _f: impl FnOnce(Pick<'db>) -> Pick<'db>, ) -> Self::Choice

fn check_by_value_method_shadowing( _this: &mut ProbeContext<'_, 'db, Self>, _by_value_pick: &Self::Choice, _step: &CandidateStep<'db>, _self_ty: Ty<'db>, _instantiate_self_ty_obligations: &[Obligation<'db, Predicate<'db>>], ) -> ControlFlow<Self::Choice>

fn check_autorefed_method_shadowing( _this: &mut ProbeContext<'_, 'db, Self>, _autoref_pick: &Self::Choice, _step: &CandidateStep<'db>, _self_ty: Ty<'db>, _instantiate_self_ty_obligations: &[Obligation<'db, Predicate<'db>>], ) -> ControlFlow<Self::Choice>

fn final_choice_from_err(_err: MethodError<'db>) -> Self::FinalChoice

fn choose(this: ProbeContext<'_, 'db, Self>) -> Self::FinalChoice