Module effects
rustc_
trait_
selection
1.84.0-dev
Module effects
Module Items
Enums
Functions
Type Aliases
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
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
EvaluateConstErr
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
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
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
effects
Copy item path
Settings
Help
Summary
Source
Enums
§
Evaluation
Failure
Functions
§
evaluate_
host_
effect_
from_
bounds
🔒
evaluate_
host_
effect_
from_
selection_
candiate
🔒
evaluate_
host_
effect_
obligation
match_
candidate
🔒
Type Aliases
§
Host
Effect
Obligation