Function rustc_symbol_mangling::typeid::typeid_itanium_cxx_abi::encode_predicate

fn encode_predicate<'tcx>(
    tcx: TyCtxt<'tcx>,
    predicate: Binder<'tcx, ExistentialPredicate<'tcx>>,
    dict: &mut FxHashMap<DictKey<'tcx>, usize>,
    options: TypeIdOptions
) -> String

Encodes a predicate using the Itanium C++ ABI with vendor extended type qualifiers and types for Rust types that are not used at the FFI boundary.