Function encode_flux_defs 

pub(crate) fn encode_flux_defs<'tcx>(
    genv: GlobalEnv<'_, 'tcx>,
    tables: &mut Tables<'tcx, DefIndex>,
)