rustc_
trait_
selection
1.85.0-nightly
(d49be02cf 2024-12-02)
In rustc_
trait_
selection::
traits::
util
rustc_trait_selection
::
traits
::
util
Function
anonymize_predicate
Copy item path
Source
pub fn anonymize_predicate<'tcx>( tcx:
TyCtxt
<'tcx>, pred:
Predicate
<'tcx>, ) ->
Predicate
<'tcx>