1 files changed, 8 insertions, 7 deletions
diff --git a/test/lit/isorecursive-good.wast b/test/lit/isorecursive-good.wast
index 373f64ac6..4a03d715b 100644
--- a/test/lit/isorecursive-good.wast
+++ b/test/lit/isorecursive-good.wast
@@ -25,6 +25,8 @@
   )
 
   (rec
+    ;; CHECK:      (type $final-root (struct))
+
     ;; CHECK:      (rec
     ;; CHECK-NEXT:  (type $super-func (sub (func (param (ref $sub-array)) (result (ref $super-array)))))
     (type $super-func (sub (func (param (ref $sub-array)) (result (ref $super-array)))))
@@ -34,45 +36,44 @@
     (type $final-func (sub final $sub-func (func (param (ref $super-array)) (result (ref $final-array)))))
   )
 
-  ;; CHECK:      (type $final-root (struct))
   (type $final-root (sub final (struct)))
 
-  ;; CHECK:      (func $make-super-struct (type $6) (result (ref $super-struct))
+  ;; CHECK:      (func $make-super-struct (type $10) (result (ref $super-struct))
   ;; CHECK-NEXT:  (call $make-final-struct)
   ;; CHECK-NEXT: )
   (func $make-super-struct (result (ref $super-struct))
     (call $make-final-struct)
   )
 
-  ;; CHECK:      (func $make-final-struct (type $7) (result (ref $final-struct))
+  ;; CHECK:      (func $make-final-struct (type $11) (result (ref $final-struct))
   ;; CHECK-NEXT:  (unreachable)
   ;; CHECK-NEXT: )
   (func $make-final-struct (result (ref $final-struct))
     (unreachable)
   )
 
-  ;; CHECK:      (func $make-super-array (type $8) (result (ref $super-array))
+  ;; CHECK:      (func $make-super-array (type $12) (result (ref $super-array))
   ;; CHECK-NEXT:  (call $make-final-array)
   ;; CHECK-NEXT: )
   (func $make-super-array (result (ref $super-array))
     (call $make-final-array)
   )
 
-  ;; CHECK:      (func $make-final-array (type $9) (result (ref $final-array))
+  ;; CHECK:      (func $make-final-array (type $13) (result (ref $final-array))
   ;; CHECK-NEXT:  (unreachable)
   ;; CHECK-NEXT: )
   (func $make-final-array (result (ref $final-array))
     (unreachable)
   )
 
-  ;; CHECK:      (func $make-super-func (type $13) (result (ref $super-func))
+  ;; CHECK:      (func $make-super-func (type $14) (result (ref $super-func))
   ;; CHECK-NEXT:  (call $make-final-func)
   ;; CHECK-NEXT: )
   (func $make-super-func (result (ref $super-func))
     (call $make-final-func)
   )
 
-  ;; CHECK:      (func $make-final-func (type $14) (result (ref $final-func))
+  ;; CHECK:      (func $make-final-func (type $15) (result (ref $final-func))
   ;; CHECK-NEXT:  (unreachable)
   ;; CHECK-NEXT: )
   (func $make-final-func (result (ref $final-func))