Function encode_def_ids

Source
pub(crate) fn encode_def_ids<K: Eq + Hash + Copy>(
    genv: GlobalEnv<'_, '_>,
    def_ids: impl IntoIterator<Item = DefId>,
    tables: &mut Tables<K>,
    did_to_key: fn(_: DefId) -> K,
    assoc_id_to_key: fn(_: FluxDefId) -> FluxId<K>,
)