☰
In rustc_trait_selection::traits
In rustc_trait_selection::traits
Modules
auto_trait
chalk_fulfill
codegen
coherence
const_evaluatable
engine
error_reporting
fulfill
misc
object_safety
on_unimplemented
outlives_bounds
project
query
relationships
select
specialization_graph
specialize
structural_match
util
wf
Structs
ChalkEnvironmentAndGoal
ChalkFulfillmentContext
ChalkRustInterner
DerivedObligationCause
FulfillmentContext
FulfillmentError
FutureCompatOverlapError
IfExpressionCause
ImplDerivedObligationCause
ImplSourceAutoImplData
ImplSourceBuiltinData
ImplSourceClosureData
ImplSourceConstDestructData
ImplSourceDiscriminantKindData
ImplSourceFnPointerData
ImplSourceGeneratorData
ImplSourceObjectData
ImplSourcePointeeData
ImplSourceTraitAliasData
ImplSourceTraitUpcastingData
ImplSourceUserDefinedData
InternedObligationCauseCode
MatchExpressionArmCause
MismatchedProjectionTypes
Normalized
Obligation
ObligationCause
ObligationCtxt
OnUnimplementedDirective
OnUnimplementedNote
OverlapError
OverlapResult
PendingPredicateObligation
ProjectionCache
ProjectionCacheKey
ProjectionCacheStorage
SelectionContext
SupertraitDefIds
TraitAliasExpander
UnifyReceiverContext
Enums
CodegenObligationError
EvaluationResult
FulfillmentErrorCode
FutureCompatOverlapErrorKind
ImplSource
IntercrateAmbiguityCause
MethodViolationCode
ObjectSafetyViolation
ObligationCauseCode
OrphanCheckErr
OverflowError
ProjectionCacheEntry
Reveal
SelectionError
SkipLeakCheck
StatementAsExpression
TraitQueryMode
VtblSegment
WellFormedLoc
Traits
TraitEngine
TraitEngineExt
Functions
add_placeholder_note
astconv_object_safety_violations
do_normalize_predicates
dump_vtable_entries
elaborate_obligations
elaborate_predicates
elaborate_predicates_with_span
elaborate_trait_ref
elaborate_trait_refs
expand_trait_aliases
fully_normalize
fully_solve_bound
fully_solve_obligation
fully_solve_obligations
get_vtable_index_of_object_method
impl_item_is_final
impossible_predicates
is_impossible_method
is_vtable_safe_method
normalize
normalize_param_env_or_error
normalize_projection_type
normalize_to
orphan_check
overlapping_impls
own_existential_vtable_entries
predicate_for_trait_def
predicates_for_generics
prepare_vtable_segments
provide
search_for_adt_const_param_violation
search_for_structural_match_violation
subst_and_check_impossible_predicates
supertrait_def_ids
supertraits
transitive_bounds
transitive_bounds_that_define_assoc_type
translate_substs
type_known_to_meet_bound_modulo_regions
upcast_choices
vtable_entries
vtable_trait_first_method_offset
vtable_trait_upcasting_coercion_new_vptr_slot
Type Definitions
CanonicalChalkEnvironmentAndGoal
EvaluationCache
NormalizedTy
PredicateObligation
PredicateObligations
Selection
SelectionCache
SelectionResult
Supertraits
TraitObligation
?
Function
rustc_trait_selection
::
traits
::
add_placeholder_note
source
·
[
−
]
pub fn add_placeholder_note(err: &mut
Diagnostic
)