aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
authorEduardo Julian2021-09-07 23:31:05 -0400
committerEduardo Julian2021-09-07 23:31:05 -0400
commitac419f9e94bc3b82cfb78c41e91b08b308a2ac71 (patch)
tree020f7bf18ab2c67500d49e0f249e505daeaf689f /stdlib/source/test
parent35c0807799717cd720ab28b35851c1a01a67445d (diff)
Eliminated the last application of annotations.
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/meta/annotation.lux10
1 files changed, 0 insertions, 10 deletions
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