☰
rustc_trait_selection
1.75.0-dev
In rustc_trait_selection::traits
Modules
auto_trait
coherence
const_evaluatable
engine
error_reporting
fulfill
misc
object_safety
outlives_bounds
project
query
select
solve
specialization_graph
specialize
structural_match
structural_normalize
util
vtable
wf
Structs
DerivedObligationCause
FulfillmentContext
FulfillmentError
FutureCompatOverlapError
IfExpressionCause
ImplDerivedObligationCause
ImplSourceUserDefinedData
InternedObligationCauseCode
MatchExpressionArmCause
MismatchedProjectionTypes
Normalized
Obligation
ObligationCause
ObligationCtxt
OverlapError
OverlapResult
PendingPredicateObligation
ProjectionCache
ProjectionCacheKey
ProjectionCacheStorage
SelectionContext
SelectionOutputTypeParameterMismatch
SupertraitDefIds
TraitAliasExpander
UnifyReceiverContext
Enums
BuiltinImplSource
CodegenObligationError
DefiningAnchor
EvaluationResult
FulfillmentErrorCode
FutureCompatOverlapErrorKind
ImplSource
IntercrateAmbiguityCause
MethodViolationCode
ObjectSafetyViolation
ObligationCauseCode
OrphanCheckErr
OverflowError
ProjectionCacheEntry
Reveal
SelectionError
SkipLeakCheck
StatementAsExpression
TraitQueryMode
WellFormedLoc
Traits
StructurallyNormalizeExt
TraitEngine
TraitEngineExt
Functions
add_placeholder_note
astconv_object_safety_violations
check_args_compatible
do_normalize_predicates
elaborate
expand_trait_aliases
fully_normalize
get_vtable_index_of_object_method
impl_item_is_final
impossible_predicates
is_impossible_associated_item
is_vtable_safe_method
normalize_param_env_or_error
orphan_check
overlapping_impls
pred_known_to_hold_modulo_regions
predicates_for_generics
provide
search_for_structural_match_violation
subst_and_check_impossible_predicates
supertrait_def_ids
supertraits
transitive_bounds
transitive_bounds_that_define_assoc_item
translate_args
translate_args_with_cause
type_known_to_meet_bound_modulo_regions
upcast_choices
Type Aliases
EvaluationCache
NormalizedTy
PolyTraitObligation
PredicateObligation
PredicateObligations
Selection
SelectionCache
SelectionResult
TraitObligation
?
Function
rustc_trait_selection
::
traits
::
impl_item_is_final
source
·
[
−
]
pub fn impl_item_is_final(tcx:
TyCtxt
<'_>, assoc_item: &
AssocItem
) ->
bool