☰
In rustc_trait_selection::traits::util
?
Function
rustc_trait_selection
::
traits
::
util
::
anonymize_predicate
source
·
[
−
]
pub fn anonymize_predicate<'tcx>(
tcx:
TyCtxt
<'tcx>,
pred:
Predicate
<'tcx>
) ->
Predicate
<'tcx>