Function check_flux_item 

pub(crate) fn check_flux_item<'genv>(
    genv: GlobalEnv<'genv, '_>,
    item: FluxItem<'genv>,
) -> Result<WfckResults, ErrorGuaranteed>