Function desugar_spec_func

pub(crate) fn desugar_spec_func<'genv>(
    genv: GlobalEnv<'genv, '_>,
    resolver_output: &'genv ResolverOutput,
    def_id: FluxLocalDefId,
    spec_func: &SpecFunc,
) -> Result<SpecFunc<'genv>, ErrorGuaranteed>