Function desugar_primop_prop

pub(crate) fn desugar_primop_prop<'genv>(
    genv: GlobalEnv<'genv, '_>,
    resolver_output: &'genv ResolverOutput,
    def_id: FluxLocalDefId,
    primop_prop: &PrimOpProp,
) -> Result<PrimOpProp<'genv>, ErrorGuaranteed>