Expand description
Type checking expressions.
See rustc_hir_analysis::check for more context on type checking in general.
Re-exports§
use std::borrow::Cow;🔒use rustc_abi::FIRST_VARIANT;🔒use rustc_abi::FieldIdx;🔒use rustc_ast as ast;🔒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::FxHashSet;🔒use rustc_data_structures::thin_vec::ThinVec;🔒use rustc_data_structures::unord::UnordMap;🔒use rustc_errors::Applicability;🔒use rustc_errors::Diag;🔒use rustc_errors::ErrorGuaranteed;🔒use rustc_errors::MultiSpan;🔒use rustc_errors::StashKey;🔒use rustc_errors::Subdiagnostic;🔒use rustc_errors::listify;🔒use rustc_errors::pluralize;🔒use rustc_errors::struct_span_code_err;🔒use rustc_hir as hir;🔒use rustc_hir::def::CtorKind;🔒use rustc_hir::def::DefKind;🔒use rustc_hir::def::Res;🔒use rustc_hir::def_id::DefId;🔒use rustc_hir::ExprKind;🔒use rustc_hir::HirId;🔒use rustc_hir::QPath;🔒use rustc_hir::is_range_literal;🔒use rustc_hir_analysis::diagnostics::NoFieldOnType;🔒use rustc_hir_analysis::diagnostics::NoVariantNamed;🔒use rustc_hir_analysis::hir_ty_lowering::HirTyLowerer as _;🔒use rustc_infer::infer;🔒use rustc_infer::infer::RegionVariableOrigin;🔒use rustc_infer::traits::WellFormedLoc;🔒use rustc_infer::traits::query::NoSolution;🔒use rustc_middle::ty::adjustment::Adjust;🔒use rustc_middle::ty::adjustment::Adjustment;🔒use rustc_middle::ty::adjustment::AllowTwoPhase;🔒use rustc_middle::ty::error::ExpectedFound;🔒use rustc_middle::ty::error::TypeError;🔒use rustc_middle::ty;🔒use rustc_middle::ty::AdtKind;🔒use rustc_middle::ty::GenericArgsRef;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::ty::TypeVisitableExt;🔒use rustc_middle::ty::Unnormalized;🔒use rustc_session::diagnostics::feature_err;🔒use rustc_span::edit_distance::find_best_match_for_name;🔒use rustc_span::hygiene::DesugaringKind;🔒use rustc_span::Ident;🔒use rustc_span::Span;🔒use rustc_span::Spanned;🔒use rustc_span::Symbol;🔒use rustc_span::bug;🔒use rustc_span::kw;🔒use rustc_span::span_bug;🔒use rustc_span::sym;🔒use rustc_trait_selection::infer::InferCtxtExt;🔒use rustc_trait_selection::traits;🔒use rustc_trait_selection::traits::ObligationCauseCode;🔒use rustc_trait_selection::traits::ObligationCtxt;🔒use tracing::debug;🔒use tracing::instrument;🔒use tracing::instrument;🔒use tracing::trace;🔒use crate::Expectation;🔒use crate::Expectation::ExpectCastableToType;🔒use crate::Expectation::ExpectHasType;🔒use crate::Expectation::NoExpectation;🔒use crate::callee::SplatLoweringInfo;🔒use crate::coercion::CoerceMany;🔒use crate::diagnostics::AddressOfTemporaryTaken;🔒use crate::diagnostics::BaseExpressionDoubleDot;🔒use crate::diagnostics::BaseExpressionDoubleDotAddExpr;🔒use crate::diagnostics::BaseExpressionDoubleDotRemove;🔒use crate::diagnostics::CantDereference;🔒use crate::diagnostics::ExprParenthesesNeeded;🔒use crate::diagnostics::FieldMultiplySpecifiedInInitializer;🔒use crate::diagnostics::FunctionalRecordUpdateOnNonStruct;🔒use crate::diagnostics::HelpUseLatestEdition;🔒use crate::diagnostics::NakedAsmOutsideNakedFn;🔒use crate::diagnostics::NoFieldOnVariant;🔒use crate::diagnostics::ReturnLikeStatementKind;🔒use crate::diagnostics::ReturnStmtOutsideOfFnBody;🔒use crate::diagnostics::StructExprNonExhaustive;🔒use crate::diagnostics::TypeMismatchFruTypo;🔒use crate::diagnostics::YieldExprOutsideOfCoroutine;🔒use crate::op::contains_let_in_chain;🔒use crate::BreakableCtxt;🔒use crate::CoroutineTypes;🔒use crate::Diverges;🔒use crate::FnCtxt;🔒use crate::GatherLocalsVisitor;🔒use crate::Needs;🔒use crate::TupleArgumentsFlag;🔒use crate::cast;🔒use crate::fatally_break_rust;🔒use crate::type_error_struct;🔒use rustc_errors::codes::*;🔒