Re-exports§
use std::cell::Cell;🔒use std::cell::RefCell;🔒use std::cmp::max;🔒use std::ops::Deref;🔒use std::assert_matches;🔒use std::debug_assert_matches;🔒use rustc_attr_ir::find_attr;🔒use rustc_attr_ir::lang_items::LangItem;🔒use rustc_data_structures::fx::FxHashSet;🔒use rustc_data_structures::sso::SsoHashSet;🔒use rustc_errors::Applicability;🔒use rustc_errors::Diag;🔒use rustc_errors::DiagCtxtHandle;🔒use rustc_errors::Diagnostic;🔒use rustc_errors::Level;🔒use rustc_hir::def::DefKind;🔒use rustc_hir as hir;🔒use rustc_hir::ExprKind;🔒use rustc_hir::HirId;🔒use rustc_hir::Node;🔒use rustc_hir_analysis::autoderef;🔒use rustc_hir_analysis::autoderef::Autoderef;🔒use rustc_infer::infer::canonical::Canonical;🔒use rustc_infer::infer::canonical::OriginalQueryValues;🔒use rustc_infer::infer::canonical::QueryResponse;🔒use rustc_infer::infer::BoundRegionConversionTime;🔒use rustc_infer::infer::DefineOpaqueTypes;🔒use rustc_infer::infer::InferOk;🔒use rustc_infer::infer::TyCtxtInferExt;🔒use rustc_infer::traits::ObligationCauseCode;🔒use rustc_infer::traits::PredicateObligation;🔒use rustc_infer::traits::query;🔒use rustc_lint_defs::builtin::METHOD_CALL_ON_DIVERGING_INFER_VAR;🔒use rustc_lint_defs::builtin::TYVAR_BEHIND_RAW_POINTER;🔒use rustc_lint_defs::builtin::UNSTABLE_NAME_COLLISIONS;🔒use rustc_macros::Diagnostic;🔒use rustc_middle::middle::stability;🔒use rustc_middle::ty::elaborate::supertrait_def_ids;🔒use rustc_middle::ty::fast_reject::DeepRejectCtxt;🔒use rustc_middle::ty::fast_reject::TreatParams;🔒use rustc_middle::ty::fast_reject::simplify_type;🔒use rustc_middle::ty;🔒use rustc_middle::ty::AssocContainer;🔒use rustc_middle::ty::AssocItem;🔒use rustc_middle::ty::GenericArgs;🔒use rustc_middle::ty::GenericArgsRef;🔒use rustc_middle::ty::GenericParamDefKind;🔒use rustc_middle::ty::ParamEnvAnd;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_middle::ty::TypeVisitableExt;🔒use rustc_middle::ty::Unnormalized;🔒use rustc_middle::ty::Upcast;🔒use rustc_span::def_id::DefId;🔒use rustc_span::def_id::LocalDefId;🔒use rustc_span::edit_distance::edit_distance_with_substrings;🔒use rustc_span::edit_distance::find_best_match_for_name_with_substrings;🔒use rustc_span::DUMMY_SP;🔒use rustc_span::Ident;🔒use rustc_span::Span;🔒use rustc_span::Symbol;🔒use rustc_span::bug;🔒use rustc_span::span_bug;🔒use rustc_trait_selection::error_reporting::infer::need_type_info::TypeAnnotationNeeded;🔒use rustc_trait_selection::infer::InferCtxtExt as _;🔒use rustc_trait_selection::solve::Goal;🔒use rustc_trait_selection::traits::query::CanonicalMethodAutoderefStepsGoal;🔒use rustc_trait_selection::traits::query::evaluate_obligation::InferCtxtExt;🔒use rustc_trait_selection::traits::query::method_autoderef::CandidateStep;🔒use rustc_trait_selection::traits::query::method_autoderef::MethodAutoderefBadTy;🔒use rustc_trait_selection::traits::query::method_autoderef::MethodAutoderefStepsResult;🔒use rustc_trait_selection::traits;🔒use rustc_trait_selection::traits::ObligationCause;🔒use rustc_trait_selection::traits::ObligationCtxt;🔒use smallvec::SmallVec;🔒use tracing::debug;🔒use tracing::instrument;🔒use tracing::instrument;🔒use super::CandidateSource;🔒use super::MethodError;🔒use super::NoMatchData;🔒use super::suggest;🔒use crate::FnCtxt;🔒use self::CandidateKind::*;🔒pub(crate) use self::PickKind::*;🔒
Structs§
- Candidate 🔒
- IsSuggestion 🔒
- Boolean flag used to indicate if this search is for a suggestion or not. If true, we can allow ambiguity and so forth.
- Pick 🔒
- Pick
Constraints 🔒ForShadowed - Criteria to apply when searching for a given Pick. This is used during the search for potentially shadowed methods to ensure we don’t search more candidates than strictly necessary.
- Pick
Diag 🔒Hints - Extra information required only for error reporting.
- Probe
Context 🔒
Enums§
- Autoref
OrPtr 🔒Adjustment - When adjusting a receiver we often want to do one of
- Candidate
Kind 🔒 - Mode 🔒
- Pick
Kind 🔒 - Probe
Result 🔒 - Probe
Scope 🔒