## encode_predicate

# Function encode_predicate

Source

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

Expand description

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.