diff --git a/cranelift/isle/isle_examples/test4.isle b/cranelift/isle/isle_examples/test4.isle
index 4a8457e886..0e1f45901f 100644
--- a/cranelift/isle/isle_examples/test4.isle
+++ b/cranelift/isle/isle_examples/test4.isle
@@ -19,3 +19,16 @@
       (Ext1 x)
       (Ext2 =x)))
   (C #t))
+
+(type Opcode (enum A B C))
+(type MachInst (enum D E F))
+(decl Lower2 (Opcode) MachInst)
+(rule
+  (Lower2 (Opcode.A))
+  (MachInst.D))
+(rule
+  (Lower2 (Opcode.B))
+  (MachInst.E))
+(rule
+  (Lower2 (Opcode.C))
+  (MachInst.F))