From ff155b558bb57e722b8fca4f7126237de73f021b Mon Sep 17 00:00:00 2001
From: Evan Johnson <e5johnso@eng.ucsd.edu>
Date: Thu, 12 Dec 2024 14:43:56 -0800
Subject: [PATCH] use Result<T,E> extern spec

---
 flux_support/src/extern_specs/result.rs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flux_support/src/extern_specs/result.rs b/flux_support/src/extern_specs/result.rs
index e688419629..97dd990a6e 100644
--- a/flux_support/src/extern_specs/result.rs
+++ b/flux_support/src/extern_specs/result.rs
@@ -1,4 +1,4 @@
-/*
+
 #[flux_rs::extern_spec]
 #[flux_rs::refined_by(b: bool)]
 enum Result<T, E> {
@@ -10,10 +10,10 @@ enum Result<T, E> {
 
 #[flux_rs::extern_spec]
 impl<T, E> Result<T, E> {
-    #[sig(fn(Self[@b]) -> bool[b])]
+    #[sig(fn(&Result<T,E>[@b]) -> bool[b])]
     const fn is_ok(&self) -> bool;
 
-    #[sig(fn(Self[@b]) -> bool[!b])]
+    #[sig(fn(&Result<T,E>[@b]) -> bool[!b])]
     const fn is_err(&self) -> bool;
 }
-*/
+