Function rustc_symbol_mangling::typeid::typeid_itanium_cxx_abi::transform_predicates

source ·

fn transform_predicates<'tcx>(
    tcx: TyCtxt<'tcx>,
    predicates: &List<PolyExistentialPredicate<'tcx>>
) -> &'tcx List<PolyExistentialPredicate<'tcx>>

Expand description

Transforms predicates for being encoded and used in the substitution dictionary.