lib: Re-added workaround for #3355 to option and outcome

Did this only in the inheritance call, not the other uses of `option.this`/`outcome.this`, which seems to be sufficient.
tokiwa-software · Jul 10, 2024 · 0a1bc9e · 0a1bc9e
1 parent bc17a65
commit 0a1bc9e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lib/option.fz b/lib/option.fz
@@ -31,7 +31,7 @@ public option(public T type)
   : choice T nil,
     monad T (option T),
     Sequence T,
-    auto_unwrap T (try option.this)
+    auto_unwrap T (try (option T)) /* NYI: BUG #3355: auto_unwrap T (try option.this) */
 is
 
   # Does this option contain a value of type T?

diff --git a/lib/outcome.fz b/lib/outcome.fz
@@ -52,7 +52,7 @@
 public outcome(public T type) :
   choice T error, /* ...  NYI: this should be open generic! */
   monad T (outcome T),
-  auto_unwrap T (try outcome.this)
+  auto_unwrap T (try (outcome T)) /* NYI: BUG #3355: auto_unwrap T (try option.this) */
 is
 
   # Does this outcome contain a value of type T?