1 files changed, 13 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/translation/jvm/function/method.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/translation/jvm/function/method.lux
index b8af5f99f..a1ab1b312 100644
--- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/translation/jvm/function/method.lux
+++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/translation/jvm/function/method.lux
@@ -12,12 +12,20 @@
     [compiler
      [target
       [jvm
-       ["[0]" modifier]
-       ["[0]" method]]]]]
+       ["[0]" modifier (.only Modifier)]
+       ["[0]" method (.only Method)]]]]]
    [test
     ["_" property (.only Test)]]]]
  [\\library
-  ["[0]" /]])
+  ["[0]" /]]
+ ["[0]" /
+  ["[1][0]" implementation]])
+
+(def (valid_modifier? it)
+  (-> (Modifier Method)
+      Bit)
+  (and (modifier.has? method.public it)
+       (modifier.has? method.strict it)))
 
 (def .public test
   Test
@@ -28,4 +36,6 @@
            (_.coverage [/.modifier]
              (and (modifier.has? method.public /.modifier)
                   (modifier.has? method.strict /.modifier)))
+
+           (/implementation.test valid_modifier?)
            )))