From ac419f9e94bc3b82cfb78c41e91b08b308a2ac71 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 7 Sep 2021 23:31:05 -0400
Subject: Eliminated the last application of annotations.

---
 stdlib/source/test/lux/meta/annotation.lux | 10 ----------
 1 file changed, 10 deletions(-)

(limited to 'stdlib/source/test')

diff --git a/stdlib/source/test/lux/meta/annotation.lux b/stdlib/source/test/lux/meta/annotation.lux
index 350d3656e..3dae7f7b9 100644
--- a/stdlib/source/test/lux/meta/annotation.lux
+++ b/stdlib/source/test/lux/meta/annotation.lux
@@ -101,16 +101,6 @@
                             (not (|> expected code.bit
                                      (..annotation dummy)
                                      (/.flagged? key))))))
-            (do !
-              [expected random.bit]
-              (_.cover [/.implementation?]
-                       (and (|> expected code.bit
-                                (..annotation (name_of #.implementation?))
-                                /.implementation?
-                                (\ bit.equivalence = expected))
-                            (not (|> expected code.bit
-                                     (..annotation key)
-                                     /.implementation?)))))
             ))))
 
 (def: .public test
-- 
cgit v1.2.3