Function desugar_prim_prop

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