[NFC] Fix check lines in nominal-good.wast (#5802)

Delete old, unused "NOMINAL" check lines and replace the sole remaining check
prefix, "HYBRID", with the standard "CHECK".

1 files changed, 29 insertions, 31 deletions

diff --git a/test/lit/isorecursive-good.wast b/test/lit/isorecursive-good.wast
index ba4244368..8e15d3190 100644
--- a/test/lit/isorecursive-good.wast
+++ b/test/lit/isorecursive-good.wast
@@ -1,73 +1,71 @@
 ;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
 
-;; RUN: wasm-opt %s -all -S -o - | filecheck %s --check-prefix HYBRID
-;; RUN: wasm-opt %s -all --roundtrip -S -o - | filecheck %s --check-prefix HYBRID
+;; RUN: wasm-opt %s -all -S -o - | filecheck %s
+;; RUN: wasm-opt %s -all --roundtrip -S -o - | filecheck %s
 
 (module
   (rec
-    ;; HYBRID:      (rec
-    ;; HYBRID-NEXT:  (type $super-struct (struct (field i32)))
+    ;; CHECK:      (rec
+    ;; CHECK-NEXT:  (type $super-struct (struct (field i32)))
     (type $super-struct (struct i32))
-    ;; NOMINAL:      (type $sub-struct (struct_subtype (field i32) (field i64) $super-struct))
-    ;; HYBRID:       (type $sub-struct (sub $super-struct (struct (field i32) (field i64))))
+    ;; CHECK:       (type $sub-struct (sub $super-struct (struct (field i32) (field i64))))
     (type $sub-struct (sub $super-struct (struct i32 i64)))
   )
 
   (rec
-    ;; HYBRID:      (rec
-    ;; HYBRID-NEXT:  (type $super-array (array (ref $super-struct)))
+    ;; CHECK:      (rec
+    ;; CHECK-NEXT:  (type $super-array (array (ref $super-struct)))
     (type $super-array (array (ref $super-struct)))
-    ;; HYBRID:       (type $sub-array (sub $super-array (array (ref $sub-struct))))
+    ;; CHECK:       (type $sub-array (sub $super-array (array (ref $sub-struct))))
     (type $sub-array (sub $super-array (array (ref $sub-struct))))
   )
 
   (rec
-    ;; HYBRID:      (rec
-    ;; HYBRID-NEXT:  (type $super-func (func (param (ref $sub-array)) (result (ref $super-array))))
+    ;; CHECK:      (rec
+    ;; CHECK-NEXT:  (type $super-func (func (param (ref $sub-array)) (result (ref $super-array))))
     (type $super-func (func (param (ref $sub-array)) (result (ref $super-array))))
-    ;; NOMINAL:      (type $sub-func (func_subtype (param (ref $super-array)) (result (ref $sub-array)) $super-func))
-    ;; HYBRID:       (type $sub-func (sub $super-func (func (param (ref $super-array)) (result (ref $sub-array)))))
+    ;; CHECK:       (type $sub-func (sub $super-func (func (param (ref $super-array)) (result (ref $sub-array)))))
     (type $sub-func (sub $super-func (func (param (ref $super-array)) (result (ref $sub-array)))))
   )
 
-  ;; HYBRID:      (func $make-super-struct (type $none_=>_ref|$super-struct|) (result (ref $super-struct))
-  ;; HYBRID-NEXT:  (call $make-sub-struct)
-  ;; HYBRID-NEXT: )
+  ;; CHECK:      (func $make-super-struct (type $none_=>_ref|$super-struct|) (result (ref $super-struct))
+  ;; CHECK-NEXT:  (call $make-sub-struct)
+  ;; CHECK-NEXT: )
   (func $make-super-struct (result (ref $super-struct))
     (call $make-sub-struct)
   )
 
-  ;; HYBRID:      (func $make-sub-struct (type $none_=>_ref|$sub-struct|) (result (ref $sub-struct))
-  ;; HYBRID-NEXT:  (unreachable)
-  ;; HYBRID-NEXT: )
+  ;; CHECK:      (func $make-sub-struct (type $none_=>_ref|$sub-struct|) (result (ref $sub-struct))
+  ;; CHECK-NEXT:  (unreachable)
+  ;; CHECK-NEXT: )
   (func $make-sub-struct (result (ref $sub-struct))
     (unreachable)
   )
 
-  ;; HYBRID:      (func $make-super-array (type $none_=>_ref|$super-array|) (result (ref $super-array))
-  ;; HYBRID-NEXT:  (call $make-sub-array)
-  ;; HYBRID-NEXT: )
+  ;; CHECK:      (func $make-super-array (type $none_=>_ref|$super-array|) (result (ref $super-array))
+  ;; CHECK-NEXT:  (call $make-sub-array)
+  ;; CHECK-NEXT: )
   (func $make-super-array (result (ref $super-array))
     (call $make-sub-array)
   )
 
-  ;; HYBRID:      (func $make-sub-array (type $none_=>_ref|$sub-array|) (result (ref $sub-array))
-  ;; HYBRID-NEXT:  (unreachable)
-  ;; HYBRID-NEXT: )
+  ;; CHECK:      (func $make-sub-array (type $none_=>_ref|$sub-array|) (result (ref $sub-array))
+  ;; CHECK-NEXT:  (unreachable)
+  ;; CHECK-NEXT: )
   (func $make-sub-array (result (ref $sub-array))
     (unreachable)
   )
 
-  ;; HYBRID:      (func $make-super-func (type $none_=>_ref|$super-func|) (result (ref $super-func))
-  ;; HYBRID-NEXT:  (call $make-sub-func)
-  ;; HYBRID-NEXT: )
+  ;; CHECK:      (func $make-super-func (type $none_=>_ref|$super-func|) (result (ref $super-func))
+  ;; CHECK-NEXT:  (call $make-sub-func)
+  ;; CHECK-NEXT: )
   (func $make-super-func (result (ref $super-func))
     (call $make-sub-func)
   )
 
-  ;; HYBRID:      (func $make-sub-func (type $none_=>_ref|$sub-func|) (result (ref $sub-func))
-  ;; HYBRID-NEXT:  (unreachable)
-  ;; HYBRID-NEXT: )
+  ;; CHECK:      (func $make-sub-func (type $none_=>_ref|$sub-func|) (result (ref $sub-func))
+  ;; CHECK-NEXT:  (unreachable)
+  ;; CHECK-NEXT: )
   (func $make-sub-func (result (ref $sub-func))
     (unreachable)
   )