Module normalize
rustc_
trait_
selection
1.83.0-dev
Module normalize
Module Items
Structs
Traits
Functions
In rustc_
trait_
selection::
traits
Modules
auto_trait
coherence
const_evaluatable
dyn_compatibility
engine
fulfill
misc
normalize
outlives_bounds
project
query
select
solve
specialization_graph
specialize
structural_normalize
util
vtable
wf
Structs
BoundVarReplacer
DerivedCause
FulfillmentContext
FulfillmentError
FutureCompatOverlapError
IfExpressionCause
ImplDerivedCause
ImplSourceUserDefinedData
InternedObligationCauseCode
MatchExpressionArmCause
MismatchedProjectionTypes
Normalized
Obligation
ObligationCause
ObligationCtxt
OldSolverError
OverlapError
OverlapResult
PendingPredicateObligation
PlaceholderReplacer
ProjectionCache
ProjectionCacheKey
ProjectionCacheStorage
SelectionContext
SignatureMismatchData
TraitAliasExpander
TraitAliasExpansionInfo
UncoveredTyParams
UnifyReceiverContext
Enums
BuiltinImplSource
CodegenObligationError
DynCompatibilityViolation
DynCompatibilityViolationSolution
EvaluationResult
FulfillmentErrorCode
FutureCompatOverlapErrorKind
ImplSource
InCrate
IntercrateAmbiguityCause
IsConstable
IsFirstInputType
MethodViolationCode
ObligationCauseCode
OrphanCheckErr
OrphanCheckMode
OverflowError
ProjectionCacheEntry
Reveal
ScrubbedTraitError
SelectionError
SkipLeakCheck
StatementAsExpression
TraitQueryMode
WellFormedLoc
Traits
FromSolverError
StructurallyNormalizeExt
TraitEngine
TraitEngineExt
Functions
add_placeholder_note
do_normalize_predicates
dyn_compatibility_violations_for_assoc_item
elaborate
expand_trait_aliases
hir_ty_lowering_dyn_compatibility_violations
impl_item_is_final
impossible_predicates
instantiate_and_check_impossible_predicates
is_impossible_associated_item
is_vtable_safe_method
normalize_param_env_or_error
orphan_check_trait_ref
overlapping_impls
pred_known_to_hold_modulo_regions
predicates_for_generics
provide
supertraits
transitive_bounds_that_define_assoc_item
translate_args
translate_args_with_cause
type_known_to_meet_bound_modulo_regions
upcast_choices
with_replaced_escaping_bound_vars
Type Aliases
EvaluationCache
NormalizedTerm
ObligationInspector
PolyTraitObligation
PredicateObligation
Selection
SelectionCache
SelectionResult
TraitObligation
rustc_trait_selection
::
traits
Module
normalize
Copy item path
Settings
Help
Summary
source
Expand description
Deeply normalize types using the old trait solver.
Structs
§
Assoc
Type
Normalizer
🔒
Traits
§
Normalize
Ext
Functions
§
needs_
normalization
🔒
normalize_
with_
depth
🔒
As
normalize
, but with a custom depth.
normalize_
with_
depth_
to
🔒