List of all items
Structs
- astconv::ConvertedBinding
- astconv::GenericArgCountMismatch
- astconv::GenericArgCountResult
- astconv::PathSeg
- bounds::Bounds
- check::compare_method::ImplTraitInTraitCollector
- check::dropck::SimpleEqRelation
- check::intrinsicck::InlineAsmCtxt
- check::region::Context
- check::region::RegionResolutionVisitor
- check::wfcheck::GATSubstCollector
- check::wfcheck::WfCheckingCtxt
- check_unused::ExternCrateToLint
- coherence::builtin::Checker
- coherence::inherent_impls::InherentCollect
- coherence::inherent_impls_overlap::InherentOverlapChecker
- collect::CollectItemTypesVisitor
- collect::HirPlaceholderCollector
- collect::ItemCtxt
- collect::generics_of::AnonConstInParamTyDetector
- collect::lifetimes::LifetimeContext
- collect::lifetimes::NamedRegionMap
- collect::lifetimes::TruncatedScopeDebug
- collect::predicates_of::OnlySelfBounds
- constrained_generic_params::Parameter
- constrained_generic_params::ParameterCollector
- errors::AmbiguousLifetimeBound
- errors::AssocTypeBindingNotAllowed
- errors::AsyncTraitImplShouldBeAsync
- errors::ConstBoundForNonConstTrait
- errors::ConstImplForNonConstTrait
- errors::CopyImplOnNonAdt
- errors::CopyImplOnTypeWithDtor
- errors::DropImplOnWrongItem
- errors::ExternCrateNotIdiomatic
- errors::FieldAlreadyDeclared
- errors::LifetimesOrBoundsMismatchOnTrait
- errors::LinkageType
- errors::ManualImplementation
- errors::MissingTypeParams
- errors::MultipleRelaxedDefaultBounds
- errors::SelfInImplSelf
- errors::SubstsOnOverriddenImpl
- errors::TraitObjectDeclaredWithNoTraits
- errors::TypeofReservedKeywordUsed
- errors::UnconstrainedOpaqueType
- errors::UnrecognizedAtomicOperation
- errors::UnrecognizedIntrinsicFunction
- errors::UnusedExternCrate
- errors::ValueOfAssociatedStructAlreadySpecified
- errors::WrongNumberOfGenericArgumentsToIntrinsic
- hir_wf_check::EraseAllBoundRegions
- 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::ConvertedBindingKind
- astconv::ExplicitLateBound
- astconv::GenericArgPosition
- astconv::IsMethodCall
- collect::lifetimes::BinderScopeType
- collect::lifetimes::Scope
- 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::CreateSubstsForGenericArgsCtxt
- collect::lifetimes::RegionExt
- structured_errors::StructuredDiagnostic
Functions
- check::adt_destructor
- check::bad_non_zero_sized_fields
- check::bad_variant_count
- check::bounds_from_generic_predicates
- check::check::async_opaque_type_cycle_error
- check::check::check_abi
- check::check::check_enum
- check::check::check_impl_items_against_trait
- check::check::check_item_type
- check::check::check_mod_item_types
- check::check::check_on_unimplemented
- check::check::check_opaque
- check::check::check_opaque_for_cycles
- check::check::check_opaque_for_inheriting_lifetimes
- 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_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_abi
- check::compare_method::assoc_item_kind_str
- check::compare_method::check_region_bounds_on_impl_item
- check::compare_method::check_type_bounds
- check::compare_method::collect_trait_impl_trait_tys
- check::compare_method::compare_asyncness
- check::compare_method::compare_generic_param_kinds
- check::compare_method::compare_impl_method
- check::compare_method::compare_number_of_generics
- check::compare_method::compare_number_of_method_arguments
- check::compare_method::compare_predicate_entailment
- check::compare_method::compare_self_type
- check::compare_method::compare_synthetic_generics
- check::compare_method::compare_ty_impl
- check::compare_method::compare_type_predicate_entailment
- check::compare_method::extract_spans_for_error_reporting
- check::compare_method::raw_compare_const_impl
- check::compare_method::report_trait_method_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::fn_maybe_err
- check::fn_sig_suggestion
- check::get_owner_return_paths
- check::intrinsic::check_intrinsic_type
- check::intrinsic::check_platform_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_return_position_impl_trait_in_trait_bounds
- 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::error_392
- check::wfcheck::gather_gat_bounds
- check::wfcheck::item_adt_kind
- 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::resolve_regions_with_wf_tys
- check::wfcheck::ty_known_to_outlive
- check_crate
- check_for_entry_fn
- check_main_fn_ty
- check_start_fn_ty
- check_unused::check_crate
- check_unused::unused_crates_lint
- coherence::builtin::check_trait
- coherence::builtin::coerce_unsized_info
- coherence::builtin::visit_implementation_of_coerce_unsized
- 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::do_orphan_check_impl
- coherence::orphan::emit_newtype_suggestion_for_raw_ptr
- coherence::orphan::emit_orphan_check_error
- coherence::orphan::fast_reject_auto_impl
- coherence::orphan::lint_auto_trait_impl
- coherence::orphan::orphan_check_impl
- coherence::provide
- coherence::unsafety::check_item
- collect::adt_def
- collect::are_suggestable_generic_args
- collect::bad_placeholder
- collect::check_impl_constness
- collect::collect_mod_item_types
- 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::early_bound_lifetimes_from_generics
- collect::fn_sig
- collect::generator_kind
- collect::generics_of::generics_of
- collect::generics_of::has_late_bound_regions
- collect::get_infer_ret_ty
- collect::get_new_lifetime_name
- collect::impl_polarity
- collect::impl_trait_ref
- collect::infer_return_ty_for_fn_sig
- collect::is_foreign_item
- collect::is_suggestable_infer_ty
- collect::item_bounds::associated_type_bounds
- collect::item_bounds::explicit_item_bounds
- collect::item_bounds::item_bounds
- collect::item_bounds::opaque_type_bounds
- collect::lifetimes::is_late_bound_map
- collect::lifetimes::late_region_as_bound_region
- collect::lifetimes::object_lifetime_default
- collect::lifetimes::provide
- collect::lifetimes::resolve_lifetimes
- collect::placeholder_type_error
- collect::placeholder_type_error_diag
- collect::predicates_defined_on
- collect::predicates_of::const_evaluatable_predicates_of
- collect::predicates_of::explicit_predicates_of
- collect::predicates_of::gather_explicit_predicates_of
- collect::predicates_of::predicates_from_bound
- collect::predicates_of::predicates_of
- collect::predicates_of::super_predicates_of
- collect::predicates_of::super_predicates_that_define_assoc_type
- collect::predicates_of::trait_explicit_predicates_and_bounds
- collect::predicates_of::type_param_predicates
- collect::provide
- collect::reject_placeholder_type_signatures_in_item
- collect::trait_def
- collect::type_of::check_feature_inherent_assoc_ty
- collect::type_of::find_opaque_ty_constraints_for_rpit
- collect::type_of::find_opaque_ty_constraints_for_tait
- collect::type_of::get_path_containing_arg_in_pat
- collect::type_of::infer_placeholder_type
- collect::type_of::opt_const_param_of
- collect::type_of::type_of
- 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_trait_to_predicates
- hir_ty_to_ty
- hir_wf_check::diagnostic_hir_wf_check
- hir_wf_check::provide
- impl_wf_check::check_mod_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_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_substs
- impl_wf_check::min_specialization::parent_specialization_node
- impl_wf_check::min_specialization::trait_predicate_kind
- impl_wf_check::min_specialization::trait_predicates_eq
- impl_wf_check::min_specialization::unconstrained_parent_impl_substs
- impl_wf_check::provide
- impl_wf_check::report_unused_parameter
- outlives::implicit_infer::check_explicit_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
- require_same_types
- 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 Definitions
Constants
- check::wfcheck::HELP_FOR_SELF_TYPE
- coherence::inherent_impls::ADD_ATTR
- coherence::inherent_impls::ADD_ATTR_TO_TY
- coherence::inherent_impls::INTO_CORE
- coherence::inherent_impls::INTO_DEFINING_CRATE
- errors::_DERIVE_rustc_errors_DecorateLint_a_FOR_ExternCrateNotIdiomatic
- errors::_DERIVE_rustc_errors_DecorateLint_a_FOR_UnusedExternCrate
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_AmbiguousLifetimeBound
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_AssocTypeBindingNotAllowed
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_AsyncTraitImplShouldBeAsync
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_ConstBoundForNonConstTrait
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_ConstImplForNonConstTrait
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_CopyImplOnNonAdt
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_CopyImplOnTypeWithDtor
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_DropImplOnWrongItem
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_FieldAlreadyDeclared
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_LifetimesOrBoundsMismatchOnTrait
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_LinkageType
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_ManualImplementation
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_MultipleRelaxedDefaultBounds
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_SelfInImplSelf
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_SubstsOnOverriddenImpl
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_TraitObjectDeclaredWithNoTraits
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_TypeofReservedKeywordUsed
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_UnconstrainedOpaqueType
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_UnrecognizedAtomicOperation
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_UnrecognizedIntrinsicFunction
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_ValueOfAssociatedStructAlreadySpecified
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_WrongNumberOfGenericArgumentsToIntrinsic