List of all items
Structs
- astconv::GenericArgCountMismatch
- astconv::GenericArgCountResult
- astconv::OnlySelfBounds
- astconv::PathSeg
- 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::refine::Anonymize
- check::compare_impl_item::refine::ImplTraitInTraitCollector
- check::intrinsicck::InlineAsmCtxt
- check::region::Context
- check::region::RegionResolutionVisitor
- check::wfcheck::GATArgsCollector
- check::wfcheck::WfCheckingCtxt
- coherence::builtin::Checker
- coherence::inherent_impls::InherentCollect
- coherence::inherent_impls_overlap::InherentOverlapChecker
- coherence::inherent_impls_overlap::RegionId
- 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
- errors::AmbiguousAssocItem
- errors::AmbiguousLifetimeBound
- errors::AssocItemNotFound
- errors::AssocKindMismatch
- errors::AssocKindMismatchWrapInBracesSugg
- errors::AssocTypeBindingNotAllowed
- errors::AssociatedTypeTraitUninferredGenericParams
- errors::AssociatedTypeTraitUninferredGenericParamsMultipartSuggestion
- errors::AutoDerefReachedRecursionLimit
- errors::CastThinPointerToFatPointer
- errors::ClosureImplicitHrtb
- errors::CoerceUnsizedMay
- errors::CoerceUnsizedMulti
- errors::CoerceUnsizedOneField
- errors::ConstBoundForNonConstTrait
- errors::ConstImplForNonConstTrait
- errors::ConstParamTyImplOnNonAdt
- 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::EmptySpecialization
- errors::EnumDiscriminantOverflowed
- 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::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::NotSupportedDelegation
- errors::OnlyCurrentTraitsForeign
- errors::OnlyCurrentTraitsName
- errors::OnlyCurrentTraitsOpaque
- errors::OnlyCurrentTraitsPointer
- errors::OnlyCurrentTraitsPointerSugg
- errors::OnlyCurrentTraitsTy
- errors::OpaqueCapturesHigherRankedLifetime
- errors::ParenSugarAttribute
- errors::ParenthesizedFnTraitExpansion
- errors::PassToVariadicFunction
- errors::PlaceholderNotAllowedItemSignatures
- 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::TargetFeatureOnMain
- errors::TooLargeStatic
- errors::TrackCallerOnMain
- errors::TraitCannotImplForTy
- errors::TraitObjectDeclaredWithNoTraits
- errors::TraitsWithDefaultImpl
- errors::TransparentEnumVariant
- errors::TransparentNonZeroSized
- errors::TransparentNonZeroSizedEnum
- errors::TyParamFirstLocal
- errors::TyParamSome
- errors::TypeOf
- errors::TypeofReservedKeywordUsed
- errors::UnconstrainedOpaqueType
- errors::UnnamedFieldsReprFieldDefined
- errors::UnrecognizedAtomicOperation
- errors::UnrecognizedIntrinsicFunction
- errors::UnusedAssociatedTypeBounds
- errors::UnusedGenericParameter
- errors::ValueOfAssociatedStructAlreadySpecified
- errors::VariadicFunctionCompatibleConvention
- errors::VariancesOf
- errors::WhereClauseOnMain
- errors::WrongNumberOfGenericArgumentsToIntrinsic
- outlives::explicit::ExplicitPredicatesMap
- structured_errors::MissingCastForVariadicArg
- structured_errors::SizedUnsizedCast
- structured_errors::WrongNumberOfGenericArgs
- structured_errors::missing_cast_for_variadic_arg::MissingCastForVariadicArg
- structured_errors::sized_unsized_cast::SizedUnsizedCast
- structured_errors::wrong_number_of_generic_args::WrongNumberOfGenericArgs
- variance::constraints::Constraint
- variance::constraints::ConstraintContext
- variance::constraints::CurrentItem
- variance::solve::SolveContext
- variance::terms::InferredIndex
- variance::terms::TermsContext
Enums
- astconv::ExplicitLateBound
- astconv::GenericArgPosition
- astconv::IsMethodCall
- astconv::PredicateFilter
- autoderef::AutoderefKind
- check::wfcheck::UnsizedHandling
- collect::FieldDeclSpan
- collect::resolve_bound_vars::BinderScopeType
- collect::resolve_bound_vars::NonLifetimeBinderAllowed
- collect::resolve_bound_vars::Scope
- errors::AssocItemNotFoundLabel
- errors::AssocItemNotFoundSugg
- errors::CannotCaptureLateBound
- errors::DropImplPolarity
- errors::FieldAlreadyDeclared
- errors::ImplNotMarkedDefault
- errors::LateBoundInApit
- errors::OnlyCurrentTraits
- errors::RefOfMutStaticSugg
- errors::ReturnTypeNotationIllegalParam
- errors::StaticMutRefSugg
- errors::UnnamedFieldsRepr
- errors::UnusedGenericParameterHelp
- structured_errors::GenericArgsInfo
- structured_errors::wrong_number_of_generic_args::AngleBrackets
- structured_errors::wrong_number_of_generic_args::GenericArgsInfo
- variance::terms::VarianceTerm
Traits
- astconv::AstConv
- astconv::CreateInstantiationsForGenericArgsCtxt
- collect::resolve_bound_vars::RegionExt
- structured_errors::StructuredDiag
Functions
- astconv::assoc_kind_str
- astconv::errors::fn_trait_to_string
- astconv::errors::prohibit_assoc_ty_binding
- astconv::generics::check_generic_arg_count
- astconv::generics::check_generic_arg_count_for_call
- astconv::generics::create_args_for_parent_generic_args
- astconv::generics::generic_arg_mismatch_err
- astconv::generics::prohibit_explicit_late_bound_lifetimes
- autoderef::report_autoderef_recursion_limit_error
- 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_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::assoc_item_kind_str
- 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::is_path_static_mut
- check::errs::maybe_expr_static_mut
- check::errs::maybe_stmt_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::ty_kind_suggestion
- 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::e0307
- check::wfcheck::enter_wf_checking_ctxt
- check::wfcheck::gather_gat_bounds
- 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::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::convert_enum_variant_types
- collect::convert_impl_item
- collect::convert_item
- collect::convert_trait_item
- collect::convert_variant
- collect::convert_variant_ctor
- collect::coroutine_for_closure
- collect::coroutine_kind
- collect::early_bound_lifetimes_from_generics
- collect::find_field
- 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::item_bounds
- collect::item_bounds::opaque_type_bounds
- collect::placeholder_type_error
- collect::placeholder_type_error_diag
- collect::polarity_of_impl
- collect::predicates_defined_on
- collect::predicates_of::compute_bidirectional_outlives_predicates
- collect::predicates_of::const_evaluatable_predicates_of
- collect::predicates_of::explicit_predicates_of
- collect::predicates_of::gather_explicit_predicates_of
- collect::predicates_of::implied_predicates_of
- collect::predicates_of::implied_predicates_with_filter
- collect::predicates_of::predicates_of
- collect::predicates_of::super_predicates_of
- collect::predicates_of::super_predicates_that_define_assoc_item
- collect::predicates_of::trait_explicit_predicates_and_bounds
- collect::predicates_of::type_param_predicates
- collect::provide
- collect::reject_placeholder_type_signatures_in_item
- 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::test_opaque_hidden_types
- collect::trait_def
- collect::type_of::anon_const_type_of
- collect::type_of::check_feature_inherent_assoc_ty
- 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::opaque::test_opaque_hidden_types
- 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
- hir_ty_to_ty
- 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
- impl_wf_check::report_unused_parameter
- 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::test::test_inferred_outlives
- 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::provide
- variance::solve::solve_constraints
- variance::terms::determine_parameters_to_be_inferred
- variance::terms::lang_items
- variance::test::test_variance
- variance::variance_of_opaque
- variance::variances_of
- variance::xform::glb
Type Aliases
- collect::resolve_bound_vars::ScopeRef
- outlives::utils::RequiredPredicates
- variance::terms::VarianceTermPtr