Re-exports§
use std::borrow::Cow;🔒use std::iter;🔒use rustc_abi::CanonAbi;🔒use rustc_abi::ExternAbi;🔒use rustc_ast::util::parser::ExprPrecedence;🔒use rustc_attr_ir::find_attr;🔒use rustc_attr_ir::lang_items::LangItem;🔒use rustc_data_structures::fx::FxHashMap;🔒use rustc_data_structures::fx::FxIndexSet;🔒use rustc_errors::Applicability;🔒use rustc_errors::Diag;🔒use rustc_errors::ErrorGuaranteed;🔒use rustc_errors::StashKey;🔒use rustc_errors::msg;🔒use rustc_hir::def;🔒use rustc_hir::def::CtorKind;🔒use rustc_hir::def::Namespace;🔒use rustc_hir::def::Res;🔒use rustc_hir::def_id::DefId;🔒use rustc_hir as hir;🔒use rustc_hir::HirId;🔒use rustc_hir_analysis::autoderef::Autoderef;🔒use rustc_infer::infer::BoundRegionConversionTime;🔒use rustc_infer::infer::DefineOpaqueTypes;🔒use rustc_infer::traits::Obligation;🔒use rustc_infer::traits::ObligationCause;🔒use rustc_infer::traits::ObligationCauseCode;🔒use rustc_infer::traits::WellFormedLoc;🔒use rustc_middle::ty::adjustment::Adjust;🔒use rustc_middle::ty::adjustment::Adjustment;🔒use rustc_middle::ty::adjustment::AllowTwoPhase;🔒use rustc_middle::ty::adjustment::AutoBorrow;🔒use rustc_middle::ty::adjustment::AutoBorrowMutability;🔒use rustc_middle::ty;🔒use rustc_middle::ty::FnSig;🔒use rustc_middle::ty::GenericArgsRef;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_middle::ty::TypeVisitableExt;🔒use rustc_middle::ty::Unnormalized;🔒use rustc_span::def_id::LocalDefId;🔒use rustc_span::Ident;🔒use rustc_span::Span;🔒use rustc_span::bug;🔒use rustc_span::sym;🔒use rustc_target::spec::AbiMap;🔒use rustc_target::spec::AbiMapping;🔒use rustc_trait_selection::error_reporting::traits::DefIdOrName;🔒use rustc_trait_selection::infer::InferCtxtExt as _;🔒use rustc_trait_selection::traits::query::evaluate_obligation::InferCtxtExt as _;🔒use tracing::debug;🔒use tracing::instrument;🔒use tracing::instrument;🔒use super::method::MethodCallee;🔒use super::method::probe::ProbeScope;🔒use super::Expectation;🔒use super::FnCtxt;🔒use super::TupleArgumentsFlag;🔒use crate::diagnostics;🔒use crate::method::TreatNotYetDefinedOpaques;🔒use crate::method::confirm::ConfirmContext;🔒use crate::method::probe::IsSuggestion;🔒use crate::method::probe::Mode;🔒
Structs§
Enums§
- Call
Step 🔒 - State machine for typechecking a call, based on the callee type.
- Splat
Lowering 🔒Info - Side-table info for lowering splatted function arguments.
Functions§
- check_
legal_ 🔒trait_ for_ method_ call - Checks that it is legal to call methods of the trait corresponding
to
trait_id(this only cares about the trait, not the specific method that is called).