use Result<T,E> extern spec

PLSysSec · Dec 12, 2024 · ff155b5 · ff155b5
1 parent bca29a2
commit ff155b5
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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;
 }
-*/
+