Module structural_
normalize
rustc_
trait_
selection
1.86.0-beta.7
(7824ede68 2025-03-22)
Module structural_
normalize
Module Items
Traits
In rustc_
trait_
selection::
traits
Modules
auto_trait
coherence
const_evaluatable
dyn_compatibility
effects
engine
fulfill
misc
normalize
outlives_bounds
project
query
select
solve
specialization_graph
specialize
structural_normalize
util
vtable
wf
Structs
BoundVarReplacer
DerivedCause
DerivedHostCause
FulfillmentContext
FulfillmentError
FutureCompatOverlapError
IfExpressionCause
ImplDerivedCause
ImplDerivedHostCause
ImplSourceUserDefinedData
InternedObligationCauseCode
MatchExpressionArmCause
MismatchedProjectionTypes
Normalized
Obligation
ObligationCause
ObligationCtxt
OldSolverError
OverlapError
OverlapResult
PatternOriginExpr
PendingPredicateObligation
PlaceholderReplacer
ProjectionCache
ProjectionCacheKey
ProjectionCacheStorage
SelectionContext
SignatureMismatchData
UncoveredTyParams
UnifyReceiverContext
Enums
BuiltinImplSource
CodegenObligationError
DynCompatibilityViolation
DynCompatibilityViolationSolution
EvaluateConstErr
EvaluationResult
FulfillmentErrorCode
FutureCompatOverlapErrorKind
ImplSource
InCrate
IntercrateAmbiguityCause
IsConstable
IsFirstInputType
MethodViolationCode
ObligationCauseCode
OrphanCheckErr
OrphanCheckMode
OverflowError
ProjectionCacheEntry
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
evaluate_const
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
replace_param_and_infer_args_with_placeholder
supertrait_def_ids
supertraits
transitive_bounds_that_define_assoc_item
translate_args
translate_args_with_cause
try_evaluate_const
type_known_to_meet_bound_modulo_regions
upcast_choices
with_replaced_escaping_bound_vars
Type Aliases
EvaluationCache
NormalizedTerm
ObligationInspector
PolyTraitObligation
PredicateObligation
PredicateObligations
Selection
SelectionCache
SelectionResult
TraitObligation
rustc_trait_selection
::
traits
Module
structural_normalize
Copy item path
Settings
Help
Summary
Source
Traits
§
Structurally
Normalize
Ext