Skip to main content Module wfcheck Copy item path Source use std::cell::LazyCell ; 🔒 use std::ops::ControlFlow ; 🔒 use std::ops::Deref ; 🔒 use hir::intravisit ; 🔒 use hir::intravisit::Visitor ; 🔒 use rustc_abi::ExternAbi ; 🔒 use rustc_abi::ScalableElt ; 🔒 use rustc_ast as ast; 🔒 use rustc_attr_ir::lang_items::LangItem ; 🔒 use rustc_attr_ir::EiiDecl ; 🔒 use rustc_attr_ir::EiiImpl ; 🔒 use rustc_attr_ir::EiiImplResolution ; 🔒 use rustc_attr_ir::find_attr ; 🔒 use rustc_data_structures::fx::FxHashSet ; 🔒 use rustc_data_structures::fx::FxIndexMap ; 🔒 use rustc_data_structures::fx::FxIndexSet ; 🔒 use rustc_data_structures::transitive_relation::TransitiveRelationBuilder ; 🔒 use rustc_errors::Applicability ; 🔒 use rustc_errors::ErrorGuaranteed ; 🔒 use rustc_errors::MultiSpan ; 🔒 use rustc_errors::msg ; 🔒 use rustc_errors::pluralize ; 🔒 use rustc_errors::struct_span_code_err ; 🔒 use rustc_hir as hir; 🔒 use rustc_hir::def::DefKind ; 🔒 use rustc_hir::def::Res ; 🔒 use rustc_hir::def_id::DefId ; 🔒 use rustc_hir::def_id::LocalDefId ; 🔒 use rustc_hir::AmbigArg ; 🔒 use rustc_hir::ItemKind ; 🔒 use rustc_infer::infer::outlives::env::OutlivesEnvironment ; 🔒 use rustc_infer::infer::BoundRegionConversionTime ; 🔒 use rustc_infer::infer::SolverRegionConstraint ; 🔒 use rustc_infer::infer::TyCtxtInferExt ; 🔒 use rustc_infer::traits::PredicateObligations ; 🔒 use rustc_infer::traits::TraitErrors ; 🔒 use rustc_lint_defs::builtin::REDUNDANT_LIFETIMES ; 🔒 use rustc_lint_defs::builtin::SHADOWING_SUPERTRAIT_ITEMS ; 🔒 use rustc_lint_defs::builtin::UNEVALUATED_DEFAULT_FIELD_VALUE ; 🔒 use rustc_macros::Diagnostic ; 🔒 use rustc_macros::TypeFoldable ; 🔒 use rustc_macros::TypeVisitable ; 🔒 use rustc_middle::mir::interpret::ErrorHandled ; 🔒 use rustc_middle::traits::solve::NoSolution ; 🔒 use rustc_middle::ty::print::with_no_trimmed_paths ; 🔒 use rustc_middle::ty::print::with_no_trimmed_paths ; 🔒 use rustc_middle::ty::region_constraint::And ; 🔒 use rustc_middle::ty::region_constraint::LeafRegionConstraint ; 🔒 use rustc_middle::ty::region_constraint::Or ; 🔒 use rustc_middle::ty::trait_def::TraitSpecializationKind ; 🔒 use rustc_middle::ty ; 🔒 use rustc_middle::ty::CallerBoundsIterator ; 🔒 use rustc_middle::ty::GenericArgKind ; 🔒 use rustc_middle::ty::GenericArgs ; 🔒 use rustc_middle::ty::GenericParamDefKind ; 🔒 use rustc_middle::ty::Ty ; 🔒 use rustc_middle::ty::TyCtxt ; 🔒 use rustc_middle::ty::TypeFlags ; 🔒 use rustc_middle::ty::TypeFoldable ; 🔒 use rustc_middle::ty::TypeSuperVisitable ; 🔒 use rustc_middle::ty::TypeVisitable ; 🔒 use rustc_middle::ty::TypeVisitableExt ; 🔒 use rustc_middle::ty::TypeVisitor ; 🔒 use rustc_middle::ty::TypingMode ; 🔒 use rustc_middle::ty::Unnormalized ; 🔒 use rustc_middle::ty::Upcast ; 🔒 use rustc_session::diagnostics::feature_err ; 🔒 use rustc_span::DUMMY_SP ; 🔒 use rustc_span::Span ; 🔒 use rustc_span::bug ; 🔒 use rustc_span::span_bug ; 🔒 use rustc_span::sym ; 🔒 use rustc_trait_selection::error_reporting::InferCtxtErrorExt ; 🔒 use rustc_trait_selection::regions::OutlivesEnvironmentBuildExt ; 🔒 use rustc_trait_selection::regions::region_known_to_outlive ; 🔒 use rustc_trait_selection::regions::ty_known_to_outlive ; 🔒 use rustc_trait_selection::traits::misc::ConstParamTyImplementationError ; 🔒 use rustc_trait_selection::traits::misc::type_allowed_to_implement_const_param_ty ; 🔒 use rustc_trait_selection::traits::query::evaluate_obligation::InferCtxtExt as _; 🔒 use rustc_trait_selection::traits ; 🔒 use rustc_trait_selection::traits::FulfillmentError ; 🔒 use rustc_trait_selection::traits::Obligation ; 🔒 use rustc_trait_selection::traits::ObligationCause ; 🔒 use rustc_trait_selection::traits::ObligationCauseCode ; 🔒 use rustc_trait_selection::traits::ObligationCtxt ; 🔒 use rustc_trait_selection::traits::WellFormedLoc ; 🔒 use tracing::debug ; 🔒 use tracing::instrument ; 🔒 use tracing::instrument ; 🔒 use super::compare_eii::compare_eii_function_types ; 🔒 use super::compare_eii::compare_eii_statics ; 🔒 use crate::autoderef::Autoderef ; 🔒 use crate::constrained_generic_params::Parameter ; 🔒 use crate::constrained_generic_params::identify_constrained_generic_params ; 🔒 use crate::diagnostics ; 🔒 use crate::diagnostics::InvalidReceiverTyHint ; 🔒 use crate::diagnostics::ParamInTyOfConstParam ; 🔒 use crate::diagnostics::UnevaluatedDefaultFieldValue ; 🔒 use rustc_errors::codes ::*; 🔒 CollectUsageSpans 🔒 Collect usages of the param_def_id and Res::SelfTyAlias in the HIR. GATArgsCollector 🔒 TypeVisitor that looks for uses of GATs like
<P0 as Trait<P1..Pn>>::GAT<Pn..Pm> and adds the arguments P0..Pm into
the two vectors, regions and types (depending on their kind). For each
parameter Pi also track the index i. HasErrorDeep 🔒 Look for ErrorGuaranteed deeply within structs’ (unsubstituted) fields. IsProbablyCyclical 🔒 Detects cases where an ADT is trivially cyclical – we want to detect this so
we only mention that its parameters are used cyclically if the ADT is truly
cyclical. RedundantLifetimeArgsLint 🔒 TestBinderBody 🔒 TestBinderExists 🔒 TestBinderForall 🔒 WfCheckingCtxt 🔒 WithWhereClauses 🔒 ArbitrarySelfTypesLevel 🔒 The arbitrary_self_types_pointers feature implies arbitrary_self_types. ReceiverValidityError 🔒 Error cases which may be returned from receiver_is_valid. These error
cases are generated in this function as they may be unearthed as we explore
the autoderef chain, but they’re converted to diagnostics in the caller. TestBinderItem 🔒 augment_param_env 🔒 Add a new set of predicates to the caller_bounds of an existing param_env. check_associated_item 🔒 check_associated_type_bounds 🔒 Checks all associated type defaults of trait trait_def_id. check_const_item 🔒 Runs checks common to both free consts and associated consts check_eiis_fn 🔒 check_eiis_static 🔒 check_fn_or_method 🔒 check_foreign_item 🔒 check_gat_where_clauses 🔒 Require that the user writes where clauses on GATs for the implicit
outlives bounds involving trait parameters in trait functions and
lifetimes passed as GAT args. See self-outlives-lint test. check_impl 🔒 check_item 🔒 Checks that the field types (in a struct def’n) or argument types (in an enum def’n) are
well-formed, meaning that they do not require any constraints not declared in the struct
definition itself. For example, this definition would be illegal: check_item_fn 🔒 check_method_receiver 🔒 check_param_wf 🔒 check_static_item 🔒 check_trait 🔒 check_trait_item 🔒 check_type_defn 🔒 In a type definition, we check that to ensure that the types of the fields are well-formed. check_type_wf 🔒 check_variances_for_type_defn 🔒 check_well_formed 🔒 check_where_clauses 🔒 Checks where-clauses and inline bounds that are declared on def_id. confirm_type_is_not_a_method_generic_param 🔒 Confirms that a type is not a type parameter referring to one of the
method’s type params. enter_wf_checking_ctxt 🔒 gather_gat_bounds 🔒 We use the following trait as an example throughout this function.
Specifically, let’s assume that to_check here is the return type
of into_iter, and the GAT we are checking this for is Iter. legacy_receiver_is_implemented 🔒 lint_item_shadowing_supertrait_item 🔒 lint_redundant_lifetimes 🔒 receiver_is_valid 🔒 Returns whether receiver_ty would be considered a valid receiver type for self_ty. If
arbitrary_self_types is enabled, receiver_ty must transitively deref to self_ty, possibly
through a *const/mut T raw pointer if arbitrary_self_types_pointers is also enabled.
If neither feature is enabled, the requirements are more strict: receiver_ty must implement
Receiver and directly implement Deref<Target = self_ty>. report_bivariance 🔒