☰
In rustc_infer::traits::util
In rustc_infer::traits::util
Structs
Elaborator
FilterToTraits
PredicateSet
Functions
anonymize_predicate
elaborate_obligations
elaborate_predicates
elaborate_predicates_with_span
elaborate_trait_ref
elaborate_trait_refs
predicate_obligation
supertraits
transitive_bounds
transitive_bounds_that_define_assoc_type
Type Definitions
Supertraits
?
Function
rustc_infer
::
traits
::
util
::
anonymize_predicate
source
·
[
−
]
pub fn anonymize_predicate<'tcx>(
tcx:
TyCtxt
<'tcx>,
pred:
Predicate
<'tcx>
) ->
Predicate
<'tcx>