List of all items

Structs

• compare_impl_item::errors::IncompatibleSort
• compare_impl_item::errors::InvalidAssocReft
• compare_impl_item::errors::MissingAssocReft
• conv::AfterSortck
• conv::ConvCtxt
• conv::Env
• conv::Layer
• conv::LookupResult
• conv::ParamEntry
• conv::errors::AmbiguousAssocType
• conv::errors::AssocTypeNotFound
• conv::errors::GenericArgCountMismatch
• conv::errors::GenericsOnPrimitiveSort
• conv::errors::GenericsOnSelf
• conv::errors::GenericsOnTyParam
• conv::errors::GenericsOnUserDefinedOpaqueSort
• conv::errors::IncorrectGenericsOnSort
• conv::errors::InvalidBaseInstance
• conv::errors::RefinedUnrefinableType
• conv::errors::TooFewGenericArgs
• conv::errors::TooManyGenericArgs
• conv::struct_compat::Holes
• conv::struct_compat::Mismatch
• conv::struct_compat::Zipper
• conv::struct_compat::errors::FieldCountMismatch
• conv::struct_compat::errors::IncompatibleParamCount
• conv::struct_compat::errors::IncompatibleRefinement
• errors::DefinitionCycle
• wf::Wf
• wf::errors::ArgCountMismatch
• wf::errors::CannotInferSort
• wf::errors::ConstructorMissingFields
• wf::errors::DuplicateFieldUsed
• wf::errors::DuplicatedEnsures
• wf::errors::EarlyBoundArgCountMismatch
• wf::errors::ExpectedFun
• wf::errors::FieldNotFound
• wf::errors::InvalidParamPos
• wf::errors::InvalidPrimitiveDotAccess
• wf::errors::MissingEnsures
• wf::errors::ParamCountMismatch
• wf::errors::ParamNotDetermined
• wf::errors::SortAnnotationNeeded
• wf::errors::SortMismatch
• wf::errors::UnexpectedConstructor
• wf::errors::UnexpectedFun
• wf::errors::UnknownQualifier
• wf::param_usage::ParamUsesChecker
• wf::sortck::FullResolver
• wf::sortck::ImplicitParamInferer
• wf::sortck::InferCtxt
• wf::sortck::OpportunisticResolver
• wf::sortck::ShallowResolver

Enums

• conv::LayerKind
• conv::LookupResultKind
• conv::struct_compat::FnSigErr

Traits

• conv::ConvPhase
• conv::WfckResultsProvider

Functions

• adt_def
• adt_sort_def_of
• assoc_refinement_def
• assoc_refinements_of
• check_crate_wf
• check_wf
• compare_impl_item::check_assoc_reft
• compare_impl_item::check_impl_against_trait
• conv::conv_adt_sort_def
• conv::conv_default_type_parameter
• conv::conv_defn
• conv::conv_func_decl
• conv::conv_generic_param_kind
• conv::conv_generics
• conv::conv_invariants
• conv::conv_lit
• conv::conv_qualifier
• conv::conv_refinement_generics
• conv::conv_un_op
• conv::def_id_to_param_const
• conv::def_id_to_param_ty
• conv::emit_prim_sort_generics_error
• conv::struct_compat::assert_eq_or_incompatible
• conv::struct_compat::fn_sig
• conv::struct_compat::type_alias
• conv::struct_compat::variants
• conv::ty_param_name
• conv::ty_param_owner
• default_assoc_refinement_def
• fn_sig
• generics_of
• impl_assoc_refinement_def
• invariants_of
• item_bounds
• normalize
• predicates_of
• provide
• qualifiers
• refinement_generics_of
• sort_of_assoc_reft
• spec_func_decl
• spec_func_defns
• ty_param_owner
• type_of
• variants_of
• wf::check_fn_quals
• wf::check_fn_spec
• wf::check_invariants
• wf::check_node
• wf::check_qualifier
• wf::param_usage::check
• wf::resolve_params
• wf::sortck::synth_lit
• wf::visit_refine_params

Type Aliases

• compare_impl_item::Result
• wf::Result
• wf::param_usage::Result
• wf::sortck::Result

Statics

• DEFAULT_LOCALE_RESOURCE