lib: remove, NYI: REGRESSION

tokiwa-software · Sep 9, 2024 · eb483e4 · eb483e4
1 parent 66a8a67
commit eb483e4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lib/switch.fz b/lib/switch.fz
@@ -68,7 +68,7 @@ is
   #
   public get
   pre
-    safety: (switch.this??) # NYI: REGRESSION: parantheses currently necessary, due to PR #2572
+    safety: switch.this??
   =>
     switch.this ? a A => a
                 | B   => fuzion.std.panic "switch.get called on B. Enable `safety` to obtain a precondition failure for debugging."
@@ -89,7 +89,7 @@ is
   #
   public val A
     pre
-      safety: (switch.this??) # NYI: REGRESSION: parantheses currently necessary, due to PR #2572
+      safety: switch.this??
   =>
     switch.this ? a A => a
                 | B   => panic "switch.val called on B. Enable `safety` to obtain a precondition failure for debugging."