rustc_trait_selection
1.78.0-dev
In rustc_trait_selection::traits
Modules
auto_trait
coherence
const_evaluatable
engine
error_reporting
fulfill
misc
normalize
object_safety
outlives_bounds
project
query
select
solve
specialization_graph
specialize
structural_match
structural_normalize
util
vtable
wf
Structs
BoundVarReplacer
DerivedObligationCause
FulfillmentContext
FulfillmentError
FutureCompatOverlapError
IfExpressionCause
ImplDerivedObligationCause
ImplSourceUserDefinedData
InternedObligationCauseCode
MatchExpressionArmCause
MismatchedProjectionTypes
Normalized
Obligation
ObligationCause
ObligationCtxt
OverlapError
OverlapResult
PendingPredicateObligation
PlaceholderReplacer
ProjectionCache
ProjectionCacheKey
ProjectionCacheStorage
SelectionContext
SignatureMismatchData
SupertraitDefIds
TraitAliasExpander
UnifyReceiverContext
Enums
BuiltinImplSource
CodegenObligationError
DefiningAnchor
EvaluationResult
FulfillmentErrorCode
FutureCompatOverlapErrorKind
ImplSource
IntercrateAmbiguityCause
IsConstable
IsFirstInputType
MethodViolationCode
ObjectSafetyViolation
ObjectSafetyViolationSolution
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
instantiate_and_check_impossible_predicates
is_impossible_associated_item
is_vtable_safe_method
normalize_param_env_or_error
object_safety_violations_for_assoc_item
orphan_check
overlapping_impls
pred_known_to_hold_modulo_regions
predicates_for_generics
provide
search_for_structural_match_violation
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
with_replaced_escaping_bound_vars
Type Aliases
EvaluationCache
NormalizedTy
ObligationInspector
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