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>, )