rustc_
infer
1.83.0-beta.5
(eb6e3fa1a 2024-11-08)
In rustc_
infer::
traits::
util
rustc_infer
::
traits
::
util
Function
anonymize_predicate
Copy item path
source
pub fn anonymize_predicate<'tcx>( tcx:
TyCtxt
<'tcx>, pred:
Predicate
<'tcx>, ) ->
Predicate
<'tcx>