List of all items[−]
Structs
- TypeAndSubsts
- astconv::Bounds
- astconv::ConvertedBinding
- astconv::ParamRange
- check::BreakableCtxt
- check::CheckItemTypesVisitor
- check::EnclosingBreakables
- check::FnCtxt
- check::GatherLocalsVisitor
- check::GeneratorTypes
- check::Inherited
- check::InheritedBuilder
- check::MaybeInProgressTables
- check::UnsafetyState
- check::autoderef::Autoderef
- check::callee::DeferredCallResolution
- check::cast::CastCheck
- check::closure::ClosureSignatures
- check::closure::ExpectedSig
- check::coercion::Coerce
- check::coercion::CoerceMany
- check::generator_interior::InteriorVisitor
- check::method::MethodCallee
- check::method::NoMatchData
- check::method::confirm::ConfirmContext
- check::method::confirm::ConfirmResult
- check::method::probe::Candidate
- check::method::probe::CandidateStep
- check::method::probe::IsSuggestion
- check::method::probe::Pick
- check::method::probe::ProbeContext
- check::method::suggest::TraitInfo
- check::method::suggest::UsePlacementFinder
- check::regionck::RegionCtxt
- check::regionck::RepeatingScope
- check::regionck::Subject
- check::upvar::InferBorrowKind
- check::upvar::InferBorrowKindVisitor
- check::wfcheck::AdtField
- check::wfcheck::AdtVariant
- check::wfcheck::CheckTypeWellFormedVisitor
- check::wfcheck::CheckWfFcxBuilder
- check::writeback::Resolver
- check::writeback::WritebackCx
- check_unused::CheckVisitor
- check_unused::CollectExternCrateVisitor
- check_unused::ExternCrateToLint
- coherence::builtin::Checker
- coherence::inherent_impls::InherentCollect
- coherence::inherent_impls_overlap::InherentOverlapChecker
- coherence::orphan::OrphanChecker
- coherence::unsafety::UnsafetyChecker
- collect::CollectItemTypesVisitor
- collect::ItemCtxt
- constrained_type_params::Parameter
- constrained_type_params::ParameterCollector
- impl_wf_check::ImplWfCheck
- outlives::explicit::ExplicitVisitor
- outlives::implicit_infer::InferVisitor
- outlives::test::OutlivesTest
- structured_errors::SizedUnsizedCastError
- structured_errors::VariadicError
- variance::constraints::Constraint
- variance::constraints::ConstraintContext
- variance::constraints::CurrentItem
- variance::solve::SolveContext
- variance::terms::InferredIndex
- variance::terms::TermsContext
- variance::test::VarianceTest
Enums
- check::Diverges
- check::Expectation
- check::Needs
- check::PlaceOp
- check::TupleArgumentsFlag
- check::autoderef::AutoderefKind
- check::callee::CallStep
- check::cast::CastError
- check::cast::PointerKind
- check::coercion::Expressions
- check::method::CandidateSource
- check::method::MethodError
- check::method::probe::CandidateKind
- check::method::probe::Mode
- check::method::probe::PickKind
- check::method::probe::ProbeResult
- check::method::probe::ProbeScope
- check::op::BinOpCategory
- check::op::IsAssign
- check::op::Op
- collect::SizedByDefault
- namespace::Namespace
- variance::terms::VarianceTerm
Traits
- astconv::AstConv
- check::coercion::AsCoercionSite
- check::writeback::Locatable
- structured_errors::StructuredDiagnostic
Functions
- astconv::check_type_argument_count
- astconv::report_lifetime_number_error
- astconv::split_auto_traits
- check::adt_destructor
- check::callee::check_legal_trait_for_method_call
- check::cast::make_invalid_casting_error
- check::check_abi
- check::check_bounds_are_used
- check::check_const_is_u8_array
- check::check_enum
- check::check_fn
- check::check_impl_item_well_formed
- check::check_impl_items_against_trait
- check::check_item_bodies
- check::check_item_type
- check::check_item_types
- check::check_item_well_formed
- check::check_on_unimplemented
- check::check_packed
- check::check_packed_inner
- check::check_representable
- check::check_simd
- check::check_specialization_validity
- check::check_struct
- check::check_trait_item_well_formed
- check::check_transparent
- check::check_union
- check::check_wf_new
- check::coercion::coerce_mutbls
- check::coercion::identity
- check::coercion::simple
- check::coercion::success
- check::compare_method::check_region_bounds_on_impl_method
- check::compare_method::compare_const_impl
- 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::extract_spans_for_error_reporting
- check::dropck::check_drop_impl
- check::dropck::check_safety_of_destructor_if_necessary
- check::dropck::ensure_drop_params_and_item_params_correspond
- check::dropck::ensure_drop_predicates_are_implied_by_item_defn
- check::fatally_break_rust
- check::generator_interior::resolve_interior
- check::has_typeck_tables
- check::intrinsic::check_intrinsic_type
- check::intrinsic::check_platform_intrinsic_type
- check::intrinsic::equate_intrinsic_type
- check::intrinsic::match_intrinsic_type_to_type
- check::method::provide
- check::method::suggest::all_traits
- check::method::suggest::compute_all_traits
- check::method::suggest::provide
- check::op::is_builtin_binop
- check::primary_body_of
- check::provide
- check::report_forbidden_specialization
- check::typeck_item_bodies
- check::typeck_tables_of
- check::upvar::var_name
- check::used_trait_imports
- check::wfcheck::check_associated_item
- check::wfcheck::check_false_global_bounds
- check::wfcheck::check_fn_or_method
- check::wfcheck::check_impl
- check::wfcheck::check_impl_item
- check::wfcheck::check_item_fn
- check::wfcheck::check_item_type
- check::wfcheck::check_item_well_formed
- check::wfcheck::check_method_receiver
- check::wfcheck::check_trait
- check::wfcheck::check_trait_item
- check::wfcheck::check_type_defn
- check::wfcheck::check_variances_for_type_defn
- check::wfcheck::check_where_clauses
- check::wfcheck::error_194
- check::wfcheck::error_392
- check::wfcheck::for_id
- check::wfcheck::for_item
- check::wfcheck::reject_shadowing_parameters
- check::wfcheck::report_bivariance
- 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_drop
- coherence::check_coherence
- coherence::check_impl
- coherence::check_impl_overlap
- coherence::coherent_trait
- coherence::enforce_trait_manually_implementable
- coherence::inherent_impls::crate_inherent_impls
- coherence::inherent_impls::inherent_impls
- coherence::inherent_impls_overlap::crate_inherent_impls_overlap_check
- coherence::orphan::check
- coherence::provide
- coherence::unsafety::check
- collect::adt_def
- collect::codegen_fn_attrs
- collect::collect_item_types
- collect::compute_bounds
- collect::compute_sig_of_foreign_fn_decl
- collect::convert_enum_variant_types
- collect::convert_impl_item
- collect::convert_item
- collect::convert_struct_variant
- collect::convert_trait_item
- collect::convert_variant_ctor
- collect::early_bound_lifetimes_from_generics
- collect::explicit_predicates_of
- collect::fn_sig
- collect::from_target_feature
- collect::generics_of
- collect::has_late_bound_regions
- collect::impl_polarity
- collect::impl_trait_ref
- collect::is_foreign_item
- collect::is_param
- collect::is_unsized
- collect::linkage_by_name
- collect::predicates_from_bound
- collect::predicates_of
- collect::provide
- collect::super_predicates_of
- collect::trait_def
- collect::type_of
- collect::type_param_predicates
- constrained_type_params::identify_constrained_type_params
- constrained_type_params::parameters_for
- constrained_type_params::parameters_for_impl
- constrained_type_params::setup_constraining_predicates
- hir_trait_to_predicates
- hir_ty_to_ty
- impl_wf_check::enforce_impl_items_are_distinct
- impl_wf_check::enforce_impl_params_are_constrained
- impl_wf_check::impl_wf_check
- impl_wf_check::report_unused_parameter
- outlives::explicit::explicit_predicates
- 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_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::variances_of
- variance::xform::glb
Typedefs
- check::coercion::CoerceResult
- check::coercion::DynamicCoerceMany
- check::method::probe::PickResult
- outlives::utils::RequiredPredicates
- variance::terms::VarianceTermPtr