List of all items

Structs

• autoderef::Autoderef
• autoderef::AutoderefSnapshot
• bounds::Bounds
• check::compare_impl_item::ImplTraitInTraitCollector
• check::compare_impl_item::RemapHiddenTyRegions
• check::compare_impl_item::RemapLateBound
• check::compare_impl_item::ReplaceTy
• check::compare_impl_item::refine::Anonymize
• check::compare_impl_item::refine::ImplTraitInTraitCollector
• check::intrinsicck::InlineAsmCtxt
• check::region::Context
• check::region::RegionResolutionVisitor
• check::wfcheck::CollectUsageSpans
• check::wfcheck::GATArgsCollector
• check::wfcheck::IsProbablyCyclical
• check::wfcheck::RedundantLifetimeArgsLint
• check::wfcheck::WfCheckingCtxt
• coherence::builtin::Checker
• coherence::inherent_impls::InherentCollect
• coherence::inherent_impls_overlap::InherentOverlapChecker
• coherence::inherent_impls_overlap::RegionId
• coherence::orphan::TyVarReplacer
• coherence::orphan::UncoveredTyParamCollector
• collect::CollectItemTypesVisitor
• collect::FieldUniquenessCheckContext
• collect::HirPlaceholderCollector
• collect::ItemCtxt
• collect::NestedSpan
• collect::generics_of::AnonConstInParamTyDetector
• collect::item_bounds::AssocTyToOpaque
• collect::resolve_bound_vars::BoundVarContext
• collect::resolve_bound_vars::NamedVarMap
• collect::resolve_bound_vars::TruncatedScopeDebug
• collect::type_of::opaque::RpitConstraintChecker
• collect::type_of::opaque::TaitConstraintLocator
• constrained_generic_params::Parameter
• constrained_generic_params::ParameterCollector
• delegation::ParamIndexRemapper
• errors::AmbiguousAssocItem
• errors::AmbiguousLifetimeBound
• errors::AssocItemConstraintsNotAllowedHere
• errors::AssocItemIsPrivate
• errors::AssocItemNotFound
• errors::AssocKindMismatch
• errors::AssocKindMismatchWrapInBracesSugg
• errors::AssociatedTypeTraitUninferredGenericParams
• errors::AssociatedTypeTraitUninferredGenericParamsMultipartSuggestion
• errors::AutoDerefReachedRecursionLimit
• errors::ClosureImplicitHrtb
• errors::CmseCallGeneric
• errors::CmseCallInputsStackSpill
• errors::CmseCallOutputStackSpill
• errors::CoerceUnsizedMay
• errors::CoerceUnsizedMulti
• errors::CoerceUnsizedOneField
• errors::ConstBoundForNonConstTrait
• errors::ConstImplForNonConstTrait
• errors::ConstParamTyImplOnNonAdt
• errors::ConstParamTyImplOnUnsized
• errors::ConstSpecialize
• errors::CopyImplOnNonAdt
• errors::CopyImplOnTypeWithDtor
• errors::CrossCrateTraits
• errors::CrossCrateTraitsDefined
• errors::DispatchFromDynCoercion
• errors::DispatchFromDynMulti
• errors::DispatchFromDynRepr
• errors::DispatchFromDynSame
• errors::DispatchFromDynSingle
• errors::DispatchFromDynStruct
• errors::DispatchFromDynZST
• errors::DropImplOnWrongItem
• errors::EffectsWithoutNextSolver
• errors::EmptySpecialization
• errors::EnumDiscriminantOverflowed
• errors::EscapingBoundVarInTyOfAssocConstBinding
• errors::FieldAlreadyDeclaredNestedHelp
• errors::FunctionNamesDuplicated
• errors::FunctionNotFoundInTrait
• errors::FunctionNotHaveDefaultImplementation
• errors::GenericArgsOnOverriddenImpl
• errors::ImplForTyRequires
• errors::InherentDyn
• errors::InherentNominal
• errors::InherentPrimitiveTy
• errors::InherentPrimitiveTyNote
• errors::InherentTyOutside
• errors::InherentTyOutsideNew
• errors::InherentTyOutsidePrimitive
• errors::InherentTyOutsideRelevant
• errors::InvalidReceiverTy
• errors::InvalidUnionField
• errors::InvalidUnionFieldSuggestion
• errors::InvalidUnnamedFieldTy
• errors::LifetimesOrBoundsMismatchOnTrait
• errors::LinkageType
• errors::MainFunctionAsync
• errors::MainFunctionGenericParameters
• errors::MainFunctionReturnTypeGeneric
• errors::ManualImplementation
• errors::MethodShouldReturnFuture
• errors::MissingOneOfTraitItem
• errors::MissingTraitItem
• errors::MissingTraitItemLabel
• errors::MissingTraitItemSuggestion
• errors::MissingTraitItemSuggestionNone
• errors::MissingTraitItemUnstable
• errors::MissingTypeParams
• errors::MultipleRelaxedDefaultBounds
• errors::MustBeNameOfAssociatedFunction
• errors::MustImplementNotFunction
• errors::MustImplementNotFunctionNote
• errors::MustImplementNotFunctionSpanNote
• errors::MustImplementOneOfAttribute
• errors::NonConstRange
• errors::OnlyCurrentTraitsAdt
• errors::OnlyCurrentTraitsForeign
• errors::OnlyCurrentTraitsName
• errors::OnlyCurrentTraitsOpaque
• errors::OnlyCurrentTraitsPointer
• errors::OnlyCurrentTraitsPointerSugg
• errors::OnlyCurrentTraitsTy
• errors::OpaqueCapturesHigherRankedLifetime
• errors::ParamInTyOfAssocConstBinding
• errors::ParenSugarAttribute
• errors::ParenthesizedFnTraitExpansion
• errors::PlaceholderNotAllowedItemSignatures
• errors::RecursiveGenericParameter
• errors::RefOfMutStatic
• errors::ReturnPositionImplTraitInTraitRefined
• errors::ReturnTypeNotationEqualityBound
• errors::ReturnTypeNotationOnNonRpitit
• errors::SIMDFFIHighlyExperimental
• errors::SelfInImplSelf
• errors::SpecializationTrait
• errors::StartAsync
• errors::StartFunctionParameters
• errors::StartFunctionWhere
• errors::StartTargetFeature
• errors::StartTrackCaller
• errors::StaticMutRef
• errors::StaticSpecialize
• errors::TaitForwardCompat
• errors::TaitForwardCompat2
• errors::TargetFeatureOnMain
• errors::TooLargeStatic
• errors::TrackCallerOnMain
• errors::TraitCannotImplForTy
• errors::TraitObjectDeclaredWithNoTraits
• errors::TraitsWithDefaultImpl
• errors::TransparentEnumVariant
• errors::TransparentNonZeroSized
• errors::TransparentNonZeroSizedEnum
• errors::TyOfAssocConstBindingNote
• errors::TyParamFirstLocal
• errors::TyParamFirstLocalLint
• errors::TyParamSome
• errors::TyParamSomeLint
• errors::TypeOf
• errors::TypeofReservedKeywordUsed
• errors::UnconstrainedGenericParameter
• errors::UnconstrainedOpaqueType
• errors::UnnamedFieldsReprFieldDefined
• errors::UnrecognizedAtomicOperation
• errors::UnrecognizedIntrinsicFunction
• errors::UnsupportedDelegation
• errors::UnusedAssociatedTypeBounds
• errors::UnusedGenericParameter
• errors::ValueOfAssociatedStructAlreadySpecified
• errors::VariadicFunctionCompatibleConvention
• errors::VariancesOf
• errors::WhereClauseOnMain
• errors::WrongNumberOfGenericArgumentsToIntrinsic
• errors::pattern_types::WildPatTy
• errors::precise_captures::BadPreciseCapture
• errors::precise_captures::DuplicatePreciseCapture
• errors::precise_captures::LifetimeNotCaptured
• errors::precise_captures::LifetimesMustBeFirst
• errors::precise_captures::ParamNotCaptured
• errors::precise_captures::PreciseCaptureSelfAlias
• errors::precise_captures::SelfTyNotCaptured
• errors::wrong_number_of_generic_args::WrongNumberOfGenericArgs
• hir_ty_lowering::GenericArgCountMismatch
• hir_ty_lowering::GenericArgCountResult
• hir_ty_lowering::GenericPathSegment
• hir_ty_lowering::OnlySelfBounds
• hir_ty_lowering::bounds::GenericParamAndBoundVarCollector
• outlives::explicit::ExplicitPredicatesMap
• variance::constraints::Constraint
• variance::constraints::ConstraintContext
• variance::constraints::CurrentItem
• variance::solve::SolveContext
• variance::terms::InferredIndex
• variance::terms::TermsContext

Enums

• autoderef::AutoderefKind
• check::wfcheck::UnsizedHandling
• collect::FieldDeclSpan
• collect::resolve_bound_vars::BinderScopeType
• collect::resolve_bound_vars::NonLifetimeBinderAllowed
• collect::resolve_bound_vars::Scope
• delegation::FnKind
• errors::AssocItemNotFoundLabel
• errors::AssocItemNotFoundSugg
• errors::CannotCaptureLateBound
• errors::DropImplPolarity
• errors::FieldAlreadyDeclared
• errors::ImplNotMarkedDefault
• errors::LateBoundInApit
• errors::MutRefSugg
• errors::OnlyCurrentTraits
• errors::ReturnTypeNotationIllegalParam
• errors::UnnamedFieldsRepr
• errors::UnusedGenericParameterHelp
• errors::wrong_number_of_generic_args::AngleBrackets
• errors::wrong_number_of_generic_args::GenericArgsInfo
• hir_ty_lowering::AssocItemQSelf
• hir_ty_lowering::ExplicitLateBound
• hir_ty_lowering::GenericArgPosition
• hir_ty_lowering::IsMethodCall
• hir_ty_lowering::PredicateFilter
• hir_ty_lowering::RegionInferReason
• hir_ty_lowering::errors::GenericsArgsErrExtend
• variance::terms::VarianceTerm

Traits

• collect::resolve_bound_vars::RegionExt
• hir_ty_lowering::GenericArgsLowerer
• hir_ty_lowering::HirTyLowerer

Functions

• autoderef::report_autoderef_recursion_limit_error
• check::adt_async_destructor
• check::adt_destructor
• check::bad_non_zero_sized_fields
• check::bad_variant_count
• check::bounds_from_generic_predicates
• check::check::check_abi
• check::check::check_coroutine_obligations
• check::check::check_enum
• check::check::check_impl_items_against_trait
• check::check::check_item_type
• check::check::check_on_unimplemented
• check::check::check_opaque
• check::check::check_opaque_for_cycles
• check::check::check_opaque_meets_bounds
• check::check::check_opaque_precise_captures
• check::check::check_packed
• check::check::check_packed_inner
• check::check::check_simd
• check::check::check_specialization_validity
• check::check::check_static_inhabited
• check::check::check_static_linkage
• check::check::check_struct
• check::check::check_transparent
• check::check::check_type_alias_type_params_are_used
• check::check::check_union
• check::check::check_union_fields
• check::check::check_unnamed_fields
• check::check::detect_discriminant_duplicate
• check::check::is_enum_of_nonnullable_ptr
• check::check::opaque_type_cycle_error
• check::check::sanity_check_found_hidden_type
• check::check_abi
• check::check_function_signature
• check::compare_impl_item::check_method_is_structurally_compatible
• check::compare_impl_item::check_region_bounds_on_impl_item
• check::compare_impl_item::check_type_bounds
• check::compare_impl_item::collect_return_position_impl_trait_in_trait_tys
• check::compare_impl_item::compare_const_predicate_entailment
• check::compare_impl_item::compare_generic_param_kinds
• check::compare_impl_item::compare_impl_const_raw
• check::compare_impl_item::compare_impl_method
• check::compare_impl_item::compare_impl_ty
• check::compare_impl_item::compare_method_predicate_entailment
• check::compare_impl_item::compare_number_of_generics
• check::compare_impl_item::compare_number_of_method_arguments
• check::compare_impl_item::compare_self_type
• check::compare_impl_item::compare_synthetic_generics
• check::compare_impl_item::compare_type_predicate_entailment
• check::compare_impl_item::extract_spans_for_error_reporting
• check::compare_impl_item::param_env_with_gat_bounds
• check::compare_impl_item::refine::check_refining_return_position_impl_trait_in_trait
• check::compare_impl_item::refine::report_mismatched_rpitit_signature
• check::compare_impl_item::refine::type_visibility
• check::compare_impl_item::report_trait_method_mismatch
• check::compare_impl_item::try_report_async_mismatch
• check::default_body_is_unstable
• check::dropck::check_drop_impl
• check::dropck::ensure_drop_params_and_item_params_correspond
• check::dropck::ensure_drop_predicates_are_implied_by_item_defn
• check::entry::check_for_entry_fn
• check::entry::check_main_fn_ty
• check::entry::check_start_fn_ty
• check::errs::handle_static_mut_ref
• check::errs::maybe_expr_static_mut
• check::errs::maybe_stmt_static_mut
• check::errs::path_if_static_mut
• check::fn_sig_suggestion
• check::forbid_intrinsic_abi
• check::get_owner_return_paths
• check::intrinsic::check_intrinsic_type
• check::intrinsic::equate_intrinsic_type
• check::intrinsic::intrinsic_operation_unsafety
• check::maybe_check_static_with_link_section
• check::missing_items_err
• check::missing_items_must_implement_one_of_err
• check::potentially_plural_count
• check::provide
• check::region::record_var_lifetime
• check::region::region_scope_tree
• check::region::resolve_arm
• check::region::resolve_block
• check::region::resolve_expr
• check::region::resolve_local
• check::region::resolve_pat
• check::region::resolve_stmt
• check::report_forbidden_specialization
• check::suggestion_signature
• check::wfcheck::augment_param_env
• check::wfcheck::check_associated_item
• check::wfcheck::check_associated_type_bounds
• check::wfcheck::check_fn_or_method
• check::wfcheck::check_foreign_item
• check::wfcheck::check_gat_where_clauses
• check::wfcheck::check_impl
• check::wfcheck::check_impl_item
• check::wfcheck::check_item
• check::wfcheck::check_item_fn
• check::wfcheck::check_item_type
• check::wfcheck::check_method_receiver
• check::wfcheck::check_mod_type_wf
• check::wfcheck::check_object_unsafe_self_trait_by_name
• check::wfcheck::check_param_wf
• check::wfcheck::check_trait
• check::wfcheck::check_trait_item
• check::wfcheck::check_type_defn
• check::wfcheck::check_variances_for_type_defn
• check::wfcheck::check_well_formed
• check::wfcheck::check_where_clauses
• check::wfcheck::could_be_self
• check::wfcheck::enter_wf_checking_ctxt
• check::wfcheck::gather_gat_bounds
• check::wfcheck::lint_redundant_lifetimes
• check::wfcheck::provide
• check::wfcheck::receiver_is_implemented
• check::wfcheck::receiver_is_valid
• check::wfcheck::region_known_to_outlive
• check::wfcheck::report_bivariance
• check::wfcheck::test_region_obligations
• check::wfcheck::ty_known_to_outlive
• check_crate
• check_unused::check_unused_traits
• check_unused::provide
• coherence::builtin::check_trait
• coherence::builtin::coerce_unsized_info
• coherence::builtin::infringing_fields_error
• coherence::builtin::visit_implementation_of_coerce_unsized
• coherence::builtin::visit_implementation_of_const_param_ty
• coherence::builtin::visit_implementation_of_copy
• coherence::builtin::visit_implementation_of_dispatch_from_dyn
• coherence::builtin::visit_implementation_of_drop
• coherence::check_impl
• coherence::check_object_overlap
• coherence::coherent_trait
• coherence::enforce_empty_impls_for_marker_traits
• coherence::enforce_trait_manually_implementable
• coherence::inherent_impls::crate_incoherent_impls
• coherence::inherent_impls::crate_inherent_impls
• coherence::inherent_impls::inherent_impls
• coherence::inherent_impls_overlap::crate_inherent_impls_overlap_check
• coherence::orphan::emit_orphan_check_error
• coherence::orphan::lint_uncovered_ty_params
• coherence::orphan::orphan_check
• coherence::orphan::orphan_check_impl
• coherence::provide
• coherence::unsafety::check_item
• collect::adt_def
• collect::bad_placeholder
• collect::check_impl_constness
• collect::compute_sig_of_foreign_fn_decl
• collect::coroutine_for_closure
• collect::coroutine_kind
• collect::dump::def_parents
• collect::dump::opaque_hidden_types
• collect::dump::predicates_and_item_bounds
• collect::early_bound_lifetimes_from_generics
• collect::fn_sig
• collect::generics_of::generics_of
• collect::generics_of::has_late_bound_regions
• collect::get_new_lifetime_name
• collect::impl_trait_header
• collect::infer_return_ty_for_fn_sig
• collect::is_type_alias_impl_trait
• collect::item_bounds::associated_type_bounds
• collect::item_bounds::explicit_item_bounds
• collect::item_bounds::explicit_item_bounds_with_filter
• collect::item_bounds::explicit_item_super_predicates
• collect::item_bounds::impl_super_outlives
• collect::item_bounds::item_bounds
• collect::item_bounds::item_non_self_assumptions
• collect::item_bounds::item_super_predicates
• collect::item_bounds::opaque_type_bounds
• collect::lower_enum_variant_types
• collect::lower_impl_item
• collect::lower_item
• collect::lower_trait_item
• collect::lower_variant
• collect::lower_variant_ctor
• collect::placeholder_type_error
• collect::placeholder_type_error_diag
• collect::polarity_of_impl
• collect::predicates_of::compute_bidirectional_outlives_predicates
• collect::predicates_of::const_evaluatable_predicates_of
• collect::predicates_of::explicit_implied_predicates_of
• collect::predicates_of::explicit_predicates_of
• collect::predicates_of::explicit_super_predicates_of
• collect::predicates_of::explicit_supertraits_containing_assoc_item
• collect::predicates_of::gather_explicit_predicates_of
• collect::predicates_of::implied_predicates_with_filter
• collect::predicates_of::predicates_of
• collect::predicates_of::trait_explicit_predicates_and_bounds
• collect::predicates_of::type_param_predicates
• collect::provide
• collect::reject_placeholder_type_signatures_in_item
• collect::rendered_precise_capturing_args
• collect::resolve_bound_vars::deny_non_region_late_bound
• collect::resolve_bound_vars::is_late_bound_map
• collect::resolve_bound_vars::late_arg_as_bound_arg
• collect::resolve_bound_vars::object_lifetime_default
• collect::resolve_bound_vars::provide
• collect::resolve_bound_vars::resolve_bound_vars
• collect::suggest_impl_trait
• collect::trait_def
• collect::type_of::anon_const_type_of
• collect::type_of::check_feature_inherent_assoc_ty
• collect::type_of::const_arg_anon_type_of
• collect::type_of::get_path_containing_arg_in_pat
• collect::type_of::infer_placeholder_type
• collect::type_of::opaque::find_opaque_ty_constraints_for_impl_trait_in_assoc_type
• collect::type_of::opaque::find_opaque_ty_constraints_for_rpit
• collect::type_of::opaque::find_opaque_ty_constraints_for_tait
• collect::type_of::type_alias_is_lazy
• collect::type_of::type_of
• collect::type_of::type_of_opaque
• constrained_generic_params::identify_constrained_generic_params
• constrained_generic_params::parameters_for
• constrained_generic_params::parameters_for_impl
• constrained_generic_params::setup_constraining_predicates
• delegation::check_constraints
• delegation::create_generic_args
• delegation::fn_kind
• delegation::inherit_generics_for_delegation_item
• delegation::inherit_predicates_for_delegation_item
• delegation::inherit_sig_for_delegation_item
• hir_ty_lowering::bounds::check_assoc_const_binding_type
• hir_ty_lowering::cmse::cmse_layout_err
• hir_ty_lowering::cmse::is_valid_cmse_inputs
• hir_ty_lowering::cmse::is_valid_cmse_output
• hir_ty_lowering::cmse::validate_cmse_abi
• hir_ty_lowering::errors::assoc_kind_str
• hir_ty_lowering::errors::fn_trait_to_string
• hir_ty_lowering::errors::generics_args_err_extend
• hir_ty_lowering::errors::prohibit_assoc_item_constraint
• hir_ty_lowering::generics::check_generic_arg_count
• hir_ty_lowering::generics::check_generic_arg_count_for_call
• hir_ty_lowering::generics::generic_arg_mismatch_err
• hir_ty_lowering::generics::lower_generic_args
• hir_ty_lowering::generics::prohibit_explicit_late_bound_lifetimes
• hir_ty_lowering::object_safety::replace_dummy_self_with_error
• hir_wf_check::diagnostic_hir_wf_check
• hir_wf_check::provide
• impl_wf_check::check_impl_wf
• impl_wf_check::enforce_impl_params_are_constrained
• impl_wf_check::min_specialization::check_always_applicable
• impl_wf_check::min_specialization::check_constness
• impl_wf_check::min_specialization::check_duplicate_params
• impl_wf_check::min_specialization::check_has_items
• impl_wf_check::min_specialization::check_min_specialization
• impl_wf_check::min_specialization::check_predicates
• impl_wf_check::min_specialization::check_specialization_on
• impl_wf_check::min_specialization::check_static_lifetimes
• impl_wf_check::min_specialization::get_impl_args
• impl_wf_check::min_specialization::parent_specialization_node
• impl_wf_check::min_specialization::trait_predicates_eq
• impl_wf_check::min_specialization::trait_specialization_kind
• impl_wf_check::min_specialization::unconstrained_parent_impl_args
• lower_ty
• outlives::dump::inferred_outlives
• outlives::implicit_infer::check_explicit_predicates
• outlives::implicit_infer::check_inferred_predicates
• outlives::implicit_infer::infer_predicates
• outlives::implicit_infer::insert_required_predicates_to_be_wf
• outlives::inferred_outlives_crate
• outlives::inferred_outlives_of
• outlives::provide
• outlives::utils::insert_outlives_predicate
• outlives::utils::is_free_region
• provide
• require_c_abi_if_c_variadic
• variance::constraints::add_constraints_from_crate
• variance::crate_variances
• variance::dump::format_variances
• variance::dump::variances
• variance::provide
• variance::solve::solve_constraints
• variance::terms::determine_parameters_to_be_inferred
• variance::terms::lang_items
• variance::variance_of_opaque
• variance::variances_of
• variance::xform::glb

Type Aliases

• collect::resolve_bound_vars::ScopeRef
• delegation::RemapTable
• outlives::utils::RequiredPredicates
• variance::terms::VarianceTermPtr

Statics

• DEFAULT_LOCALE_RESOURCE