List of all items

Structs

• autoderef::Autoderef
• autoderef::AutoderefSnapshot
• check::compare_impl_item::CheckNumberOfEarlyBoundRegionsError
• check::compare_impl_item::ImplTraitInTraitCollector
• check::compare_impl_item::RemapHiddenTyRegions
• check::compare_impl_item::RemapLateParam
• check::compare_impl_item::refine::Anonymize
• check::compare_impl_item::refine::CollectParams
• check::compare_impl_item::refine::ImplTraitInTraitCollector
• check::region::Context
• check::region::ScopeResolutionVisitor
• check::wfcheck::CollectUsageSpans
• check::wfcheck::GATArgsCollector
• check::wfcheck::HasErrorDeep
• check::wfcheck::IsProbablyCyclical
• check::wfcheck::RedundantLifetimeArgsLint
• check::wfcheck::WfCheckingCtxt
• check_unused::UnusedImport
• coherence::builtin::Checker
• coherence::inherent_impls::InherentCollect
• coherence::inherent_impls_overlap::InherentOverlapChecker
• coherence::inherent_impls_overlap::RegionId
• coherence::orphan::UncoveredTyParamCollector
• collect::FieldUniquenessCheckContext
• collect::HirPlaceholderCollector
• collect::ItemCtxt
• collect::NestedSpan
• collect::generics_of::AnonConstInParamTyDetector
• collect::item_bounds::AssocTyToOpaque
• collect::item_bounds::MapAndCompressBoundVars
• collect::resolve_bound_vars::BoundVarContext
• collect::resolve_bound_vars::OpaqueHigherRankedLifetimeCaptureErrors
• collect::resolve_bound_vars::RevSegIdx
• collect::resolve_bound_vars::SegIdx
• collect::type_of::opaque::TaitConstraintLocator
• constrained_generic_params::Parameter
• constrained_generic_params::ParameterCollector
• delegation::ParamIndexRemapper
• diagnostics::AbiCustomClothedFunction
• diagnostics::AmbiguousAssocItem
• diagnostics::AmbiguousLifetimeBound
• diagnostics::AssocItemConstraintsNotAllowedHere
• diagnostics::AssocItemIsPrivate
• diagnostics::AssocItemNotFound
• diagnostics::AssocKindMismatch
• diagnostics::AssocKindMismatchWrapInBracesSugg
• diagnostics::AssociatedItemTraitUninferredGenericParams
• diagnostics::AssociatedItemTraitUninferredGenericParamsMultipartSuggestion
• diagnostics::AsyncDropWithoutSyncDrop
• diagnostics::AutoDerefReachedRecursionLimit
• diagnostics::BadReturnTypeNotation
• diagnostics::ClosureImplicitHrtb
• diagnostics::CmseGeneric
• diagnostics::CmseImplTrait
• diagnostics::CmseInputsStackSpill
• diagnostics::CmseOutputStackSpill
• diagnostics::CoerceFieldValidity
• diagnostics::CoerceMulti
• diagnostics::CoerceNoField
• diagnostics::CoercePointeeNoField
• diagnostics::CoercePointeeNoUserValidityAssertion
• diagnostics::CoercePointeeNotConcreteType
• diagnostics::CoercePointeeNotStruct
• diagnostics::CoercePointeeNotTransparent
• diagnostics::CoerceSamePatKind
• diagnostics::CoerceSameStruct
• diagnostics::CoerceSharedMulti
• diagnostics::CoerceSharedNotSingleLifetimeParam
• diagnostics::CoerceUnsizedNonStruct
• diagnostics::ConflictImplDropAndPinDrop
• diagnostics::ConstBoundForNonConstTrait
• diagnostics::ConstImplForNonConstTrait
• diagnostics::ConstParamTyFieldVisMismatch
• diagnostics::ConstParamTyImplOnNonAdt
• diagnostics::ConstParamTyImplOnNonExhaustive
• diagnostics::ConstParamTyImplOnUnsized
• diagnostics::CopyImplOnNonAdt
• diagnostics::CopyImplOnTypeWithDtor
• diagnostics::CrossCrateTraits
• diagnostics::CrossCrateTraitsDefined
• diagnostics::DelegationSelfTypeNotSpecified
• diagnostics::DispatchFromDynRepr
• diagnostics::DispatchFromDynZST
• diagnostics::DropImplOnWrongItem
• diagnostics::DynTraitAssocItemBindingMentionsSelf
• diagnostics::EiiDefkindMismatch
• diagnostics::EiiDefkindMismatchStaticMutability
• diagnostics::EiiDefkindMismatchStaticSafety
• diagnostics::EiiWithGenerics
• diagnostics::ElidedLifetimesAreNotAllowedInDelegations
• diagnostics::EmptySpecialization
• diagnostics::EnumDiscriminantOverflowed
• diagnostics::EscapingBoundVarInTyOfAssocConstBinding
• diagnostics::FieldAlreadyDeclaredNestedHelp
• diagnostics::GenericArgsOnOverriddenImpl
• diagnostics::ImplForTyRequires
• diagnostics::ImplOfRestrictedTrait
• diagnostics::ImplUnpinForPinProjectedType
• diagnostics::InherentDyn
• diagnostics::InherentNominal
• diagnostics::InherentPrimitiveTy
• diagnostics::InherentPrimitiveTyNote
• diagnostics::InherentTyOutside
• diagnostics::InherentTyOutsideNew
• diagnostics::InherentTyOutsideNewAliasNote
• diagnostics::InherentTyOutsidePrimitive
• diagnostics::InherentTyOutsideRelevant
• diagnostics::InvalidGenericReceiverTy
• diagnostics::InvalidReceiverTy
• diagnostics::InvalidReceiverTyNoArbitrarySelfTypes
• diagnostics::InvalidUnionField
• diagnostics::InvalidUnionFieldSuggestion
• diagnostics::LifetimesOrBoundsMismatchOnEii
• diagnostics::LifetimesOrBoundsMismatchOnTrait
• diagnostics::LinkageType
• diagnostics::MainFunctionAsync
• diagnostics::MainFunctionGenericParameters
• diagnostics::MainFunctionReturnTypeGeneric
• diagnostics::ManualImplementation
• diagnostics::MethodShouldReturnFuture
• diagnostics::MissingGenericParams
• diagnostics::MissingOneOfTraitItem
• diagnostics::MissingTraitItem
• diagnostics::MissingTraitItemLabel
• diagnostics::MissingTraitItemSuggestion
• diagnostics::MissingTraitItemSuggestionNone
• diagnostics::MissingTraitItemUnstable
• diagnostics::NoFieldOnType
• diagnostics::NoVariantNamed
• diagnostics::OnlyCurrentTraitsAdt
• diagnostics::OnlyCurrentTraitsForeign
• diagnostics::OnlyCurrentTraitsName
• diagnostics::OnlyCurrentTraitsOpaque
• diagnostics::OnlyCurrentTraitsPointer
• diagnostics::OnlyCurrentTraitsPointerSugg
• diagnostics::OnlyCurrentTraitsTy
• diagnostics::OpaqueCapturesHigherRankedLifetime
• diagnostics::OverridingFinalTraitFunction
• diagnostics::ParamInTyOfAssocConstBinding
• diagnostics::ParenSugarAttribute
• diagnostics::ParenthesizedFnTraitExpansion
• diagnostics::PinV2OnPacked
• diagnostics::PinV2WithoutPinDrop
• diagnostics::PlaceholderNotAllowedItemSignatures
• diagnostics::RecursiveGenericParameter
• diagnostics::ReturnPositionImplTraitInTraitRefined
• diagnostics::ReturnPositionImplTraitInTraitRefinedLifetimes
• diagnostics::ReturnTypeNotationEqualityBound
• diagnostics::ReturnTypeNotationOnNonRpitit
• diagnostics::SIMDFFIHighlyExperimental
• diagnostics::SelfInImplSelf
• diagnostics::SpecializationTrait
• diagnostics::StaticSpecialize
• diagnostics::SupertraitItemShadowing
• diagnostics::TargetFeatureOnMain
• diagnostics::TooLargeStatic
• diagnostics::TrackCallerOnMain
• diagnostics::TraitCannotImplForTy
• diagnostics::TraitObjectDeclaredWithNoTraits
• diagnostics::TraitsWithDefaultImpl
• diagnostics::TransparentEnumVariant
• diagnostics::TyOfAssocConstBindingNote
• diagnostics::TyParamFirstLocal
• diagnostics::TyParamFirstLocalLint
• diagnostics::TyParamSome
• diagnostics::TyParamSomeLint
• diagnostics::TypeOf
• diagnostics::UnconstrainedGenericParameter
• diagnostics::UnconstrainedOpaqueType
• diagnostics::UnrecognizedIntrinsicFunction
• diagnostics::UnsupportedDelegation
• diagnostics::UnusedAssociatedTypeBounds
• diagnostics::UnusedGenericParameter
• diagnostics::UselessImplItem
• diagnostics::ValueOfAssociatedStructAlreadySpecified
• diagnostics::VariadicFunctionCompatibleConvention
• diagnostics::WhereClauseOnMain
• diagnostics::WrongNumberOfGenericArgumentsToIntrinsic
• diagnostics::precise_captures::BadPreciseCapture
• diagnostics::precise_captures::DuplicatePreciseCapture
• diagnostics::precise_captures::LifetimeImplicitlyCaptured
• diagnostics::precise_captures::LifetimeNotCaptured
• diagnostics::precise_captures::LifetimesMustBeFirst
• diagnostics::precise_captures::ParamNotCaptured
• diagnostics::precise_captures::PreciseCaptureSelfAlias
• diagnostics::precise_captures::SelfTyNotCaptured
• diagnostics::remove_or_use_generic::ParamUsageVisitor
• diagnostics::wrong_number_of_generic_args::WrongNumberOfGenericArgs
• hir_ty_lowering::ForbidParamUsesFolder
• hir_ty_lowering::GenericArgCountMismatch
• hir_ty_lowering::GenericArgCountResult
• hir_ty_lowering::GenericPathSegment
• hir_ty_lowering::InherentAssocCandidate
• hir_ty_lowering::ResolvedStructPath
• hir_ty_lowering::bounds::CollectedBound
• hir_ty_lowering::bounds::CollectedSizednessBounds
• hir_ty_lowering::bounds::GenericParamAndBoundVarCollector
• hir_ty_lowering::errors::AmbiguityBetweenVariantAndAssocItem
• 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::compare_impl_item::LateEarlyMismatch
• check::region::LetKind
• check::wfcheck::ArbitrarySelfTypesLevel
• check::wfcheck::ReceiverValidityError
• collect::FieldDeclSpan
• collect::generics_of::ParamDefaultPolicy
• collect::resolve_bound_vars::BinderScopeType
• collect::resolve_bound_vars::NonLifetimeBinderAllowed
• collect::resolve_bound_vars::Scope
• delegation::FnKind
• delegation::InheritanceKind
• delegation::SelfPositionKind
• diagnostics::AssocItemNotFoundLabel
• diagnostics::AssocItemNotFoundSugg
• diagnostics::CannotCaptureLateBound
• diagnostics::DropImplPolarity
• diagnostics::FieldAlreadyDeclared
• diagnostics::ImplNotMarkedDefault
• diagnostics::InvalidReceiverTyHint
• diagnostics::LateBoundInApit
• diagnostics::OnlyCurrentTraits
• diagnostics::ReturnTypeNotationIllegalParam
• diagnostics::SupertraitItemShadowee
• diagnostics::UnusedGenericParameterHelp
• diagnostics::wrong_number_of_generic_args::AngleBrackets
• diagnostics::wrong_number_of_generic_args::GenericArgsInfo
• hir_ty_lowering::AssocItemQSelf
• hir_ty_lowering::ExplicitLateBound
• hir_ty_lowering::ForbidParamContext
• hir_ty_lowering::GenericArgPosition
• hir_ty_lowering::ImpliedBoundsContext
• hir_ty_lowering::IsMethodCall
• hir_ty_lowering::LowerTypeRelativePathMode
• hir_ty_lowering::OverlappingAsssocItemConstraints
• hir_ty_lowering::PermitVariants
• hir_ty_lowering::PredicateFilter
• hir_ty_lowering::RegionInferReason
• hir_ty_lowering::TypeRelativePath
• hir_ty_lowering::errors::GenericsArgsErrExtend
• outlives::implicit_infer::IgnorePredicatesReferencingSelf
• variance::ForceCaptureTraitArgs
• 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::always_applicable::check_drop_impl
• check::always_applicable::check_drop_xor_pin_drop
• check::always_applicable::check_negative_auto_trait_impl
• check::always_applicable::ensure_all_fields_are_const_destruct
• check::always_applicable::ensure_impl_params_and_item_params_correspond
• check::always_applicable::ensure_impl_predicates_are_implied_by_item_defn
• check::bad_variant_count
• check::bounds_from_generic_predicates
• check::check::add_abi_diag_help
• check::check::allowed_union_or_unsafe_field
• check::check::best_definition_site_of_opaque
• check::check::check_abi
• check::check::check_coroutine_obligations
• check::check::check_custom_abi
• check::check::check_enum
• check::check::check_impl_items_against_trait
• check::check::check_item_type
• 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_overriding_final_trait_item
• check::check::check_packed
• check::check::check_packed_inner
• check::check::check_potentially_region_dependent_goals
• check::check::check_scalable_vector
• 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::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_custom_abi
• check::check_function_signature
• check::compare_eii::check_early_region_bounds
• check::compare_eii::check_eii_target
• check::compare_eii::check_is_structurally_compatible
• check::compare_eii::check_no_generics
• check::compare_eii::check_number_of_arguments
• check::compare_eii::compare_eii_function_types
• check::compare_eii::compare_eii_statics
• check::compare_eii::extract_spans_for_error_reporting
• check::compare_eii::get_declaration_sig
• check::compare_eii::report_eii_mismatch
• check::compare_eii::report_number_of_arguments_mismatch
• check::compare_impl_item::check_method_is_structurally_compatible
• check::compare_impl_item::check_number_of_early_bound_regions
• check::compare_impl_item::check_region_bounds_on_impl_item
• check::compare_impl_item::check_region_late_boundedness
• 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
• check::compare_impl_item::compare_impl_item
• 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_const
• check::compare_impl_item::compare_type_predicate_entailment
• check::compare_impl_item::extract_spans_for_error_reporting
• check::compare_impl_item::find_region_in_predicates
• check::compare_impl_item::get_self_string
• 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_captures
• 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::entry::check_for_entry_fn
• check::entry::check_main_fn_ty
• check::fn_sig_suggestion
• 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_subexpr_extended_temp_scopes
• check::region::record_var_lifetime
• check::region::region_scope_tree
• check::region::resolve_arm
• check::region::resolve_block
• check::region::resolve_cond
• check::region::resolve_expr
• check::region::resolve_local
• check::region::resolve_pat
• check::region::resolve_stmt
• check::suggestion_signature
• check::wfcheck::augment_param_env
• check::wfcheck::check_associated_item
• check::wfcheck::check_associated_type_bounds
• check::wfcheck::check_eiis_fn
• check::wfcheck::check_eiis_static
• check::wfcheck::check_fn_or_method
• check::wfcheck::check_foreign_item
• check::wfcheck::check_gat_where_clauses
• check::wfcheck::check_impl
• check::wfcheck::check_item
• check::wfcheck::check_item_fn
• check::wfcheck::check_method_receiver
• check::wfcheck::check_param_wf
• check::wfcheck::check_static_item
• check::wfcheck::check_trait
• check::wfcheck::check_trait_item
• check::wfcheck::check_type_const
• check::wfcheck::check_type_defn
• check::wfcheck::check_type_wf
• check::wfcheck::check_variances_for_type_defn
• check::wfcheck::check_well_formed
• check::wfcheck::check_where_clauses
• check::wfcheck::confirm_type_is_not_a_method_generic_param
• check::wfcheck::enter_wf_checking_ctxt
• check::wfcheck::gather_gat_bounds
• check::wfcheck::legacy_receiver_is_implemented
• check::wfcheck::lint_item_shadowing_supertrait_item
• check::wfcheck::lint_redundant_lifetimes
• 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_c_variadic_abi
• check_crate
• check_unused::check_unused_traits
• coherence::builtin::assert_field_type_is_copy
• coherence::builtin::assert_field_type_is_reborrow
• coherence::builtin::check_trait
• coherence::builtin::coerce_shared_info
• coherence::builtin::coerce_unsized_info
• coherence::builtin::collect_struct_data_fields
• coherence::builtin::generic_lifetime_params_count
• coherence::builtin::infringing_fields_error
• coherence::builtin::is_from_coerce_pointee_derive
• coherence::builtin::reborrow_info
• coherence::builtin::structurally_normalize_ty
• coherence::builtin::trait_impl_lifetime_params_count
• coherence::builtin::visit_implementation_of_coerce_pointee_validity
• coherence::builtin::visit_implementation_of_coerce_shared
• 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::builtin::visit_implementation_of_reborrow
• coherence::builtin::visit_implementation_of_unpin
• 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::crate_inherent_impls_validity_check
• 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::anon_const_kind
• collect::bad_placeholder
• collect::check_ctor
• collect::check_enum_variant_types
• collect::check_impl_constness
• collect::compute_sig_of_foreign_fn_decl
• collect::const_of_item
• collect::const_param_default
• collect::coroutine_for_closure
• collect::coroutine_kind
• collect::dump::def_parents
• collect::dump::opaque_hidden_types
• collect::dump::predicates_and_item_bounds
• collect::dump::vtables
• collect::early_bound_lifetimes_from_generics
• collect::fn_sig
• collect::generics_of::generics_of
• collect::generics_of::has_late_bound_regions
• collect::generics_of::param_default_policy
• collect::get_new_lifetime_name
• collect::impl_trait_header
• 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_self_bounds
• collect::item_bounds::impl_super_outlives
• collect::item_bounds::item_bounds
• collect::item_bounds::item_non_self_bounds
• collect::item_bounds::item_self_bounds
• collect::item_bounds::opaque_type_bounds
• collect::item_bounds::remap_gat_vars_and_recurse_into_nested_projections
• collect::late_param_regions_to_bound
• collect::lower_fn_sig_recovering_infer_ret_ty
• collect::lower_variant
• collect::opaque_ty_origin
• collect::placeholder_type_error_diag
• collect::polarity_of_impl
• collect::predicates_of::assert_only_contains_predicates_from
• collect::predicates_of::compute_bidirectional_outlives_predicates
• collect::predicates_of::const_conditions
• collect::predicates_of::const_evaluatable_predicates_of
• collect::predicates_of::explicit_implied_const_bounds
• 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::recover_infer_ret_ty
• collect::rendered_precise_capturing_args
• collect::resolve_bound_vars::deny_non_region_late_bound
• collect::resolve_bound_vars::generic_param_def_as_bound_arg
• 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::opaque_captures_all_in_scope_lifetimes
• 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::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
• collect::type_of::type_of_opaque_hir_typeck
• 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_folder_and_args
• delegation::create_generic_args
• delegation::create_mapping
• delegation::create_self_position_kind
• delegation::delegation_user_specified_args
• delegation::fn_kind
• delegation::get_delegation_parent_args_count_without_self
• delegation::get_delegation_self_ty
• delegation::get_delegation_self_ty_or_err
• delegation::get_parent_and_inheritance_kind
• delegation::inherit_predicates_for_delegation_item
• delegation::inherit_sig_for_delegation_item
• diagnostics::remove_or_use_generic::suggest_to_remove_or_use_generic
• hir_ty_lowering::bounds::add_trait_bound
• hir_ty_lowering::bounds::check_assoc_const_binding_type
• hir_ty_lowering::bounds::collect_bounds
• hir_ty_lowering::bounds::collect_sizedness_bounds
• hir_ty_lowering::bounds::search_bounds_for
• hir_ty_lowering::cmse::is_valid_cmse_inputs
• hir_ty_lowering::cmse::is_valid_cmse_output
• hir_ty_lowering::cmse::is_valid_cmse_output_layout
• hir_ty_lowering::cmse::should_emit_layout_error
• hir_ty_lowering::cmse::validate_cmse_abi
• hir_ty_lowering::dyn_trait::replace_dummy_self_with_error
• hir_ty_lowering::errors::assoc_tag_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_value_path
• 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_wf_check::diagnostic_hir_wf_check
• impl_wf_check::check_impl_wf
• impl_wf_check::enforce_impl_lifetime_params_are_constrained
• impl_wf_check::enforce_impl_non_lifetime_params_are_constrained
• impl_wf_check::min_specialization::check_always_applicable
• 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_specialization_kind
• impl_wf_check::min_specialization::unconstrained_parent_impl_args
• lower_const_arg_for_rustdoc
• 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::utils::insert_outlives_predicate
• outlives::utils::is_free_region
• provide
• suggest_impl_trait
• variance::constraints::add_constraints_from_crate
• variance::crate_variances
• variance::dump::format_variances
• variance::dump::variances
• variance::solve::glb
• variance::solve::solve_constraints
• variance::terms::determine_parameters_to_be_inferred
• variance::terms::lang_items
• variance::variance_of_opaque
• variance::variances_of

Type Aliases

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