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