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.