Expand description
Check properties that are required by built-in traits and set up data structures required by type-checking/codegen.
Re-exports§
use std::collections::BTreeMap;🔒use rustc_attr_ir::lang_items::LangItem;🔒use rustc_data_structures::fx::FxHashSet;🔒use rustc_errors::ErrorGuaranteed;🔒use rustc_errors::MultiSpan;🔒use rustc_hir as hir;🔒use rustc_hir::ItemKind;🔒use rustc_hir::def_id::DefId;🔒use rustc_hir::def_id::LocalDefId;🔒use rustc_infer::infer;🔒use rustc_infer::infer::InferCtxt;🔒use rustc_infer::infer::RegionResolutionError;🔒use rustc_infer::infer::SubregionOrigin;🔒use rustc_infer::infer::TyCtxtInferExt;🔒use rustc_infer::traits::Obligation;🔒use rustc_infer::traits::TraitErrors;🔒use rustc_middle::ty::adjustment::CoerceUnsizedInfo;🔒use rustc_middle::ty::print::PrintTraitRefExt as _;🔒use rustc_middle::ty;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_middle::ty::TypeVisitableExt;🔒use rustc_middle::ty::TypingMode;🔒use rustc_middle::ty::Unnormalized;🔒use rustc_middle::ty::suggest_constraining_type_params;🔒use rustc_span::DUMMY_SP;🔒use rustc_span::Ident;🔒use rustc_span::Span;🔒use rustc_span::Symbol;🔒use rustc_span::sym;🔒use rustc_trait_selection::error_reporting::InferCtxtErrorExt;🔒use rustc_trait_selection::traits::misc::ConstParamTyImplementationError;🔒use rustc_trait_selection::traits::misc::CopyImplementationError;🔒use rustc_trait_selection::traits::misc::InfringingFieldsReason;🔒use rustc_trait_selection::traits::misc::type_allowed_to_implement_const_param_ty;🔒use rustc_trait_selection::traits::misc::type_allowed_to_implement_copy;🔒use rustc_trait_selection::traits;🔒use rustc_trait_selection::traits::ObligationCause;🔒use rustc_trait_selection::traits::ObligationCtxt;🔒use tracing::debug;🔒use crate::diagnostics;🔒
Modules§
Structs§
Functions§
- assert_
field_ 🔒type_ is_ copy - check_
trait 🔒 - coerce_
unsized_ 🔒info - collect_
reborrow_ 🔒data_ fields - field_
type_ 🔒is_ copy - field_
type_ 🔒is_ reborrow - generic_
lifetime_ 🔒params_ count - infringing_
fields_ 🔒error - is_
from_ 🔒coerce_ pointee_ derive - reborrow_
info 🔒 - trait_
impl_ 🔒lifetime_ params_ count - visit_
implementation_ 🔒of_ coerce_ pointee_ validity - visit_
implementation_ 🔒of_ coerce_ shared - visit_
implementation_ 🔒of_ coerce_ unsized - visit_
implementation_ 🔒of_ const_ param_ ty - visit_
implementation_ 🔒of_ copy - visit_
implementation_ 🔒of_ dispatch_ from_ dyn - visit_
implementation_ 🔒of_ drop - visit_
implementation_ 🔒of_ reborrow - visit_
implementation_ 🔒of_ unpin