Remove equirecursive typing (#5240)

Equirecursive is no longer standards track and its implementation is extremely
complex. Remove it.

10 files changed, 7 insertions, 47 deletions

diff --git a/test/lit/help/wasm-as.test b/test/lit/help/wasm-as.test
index bbce25015..c94dab310 100644
--- a/test/lit/help/wasm-as.test
+++ b/test/lit/help/wasm-as.test
@@ -122,10 +122,6 @@
 ;; CHECK-NEXT:   --nominal                            Force all GC type definitions to be
 ;; CHECK-NEXT:                                        parsed as nominal.
 ;; CHECK-NEXT:
-;; CHECK-NEXT:   --structural                         Force all GC type definitions to be
-;; CHECK-NEXT:                                        parsed as structural (i.e.
-;; CHECK-NEXT:                                        equirecursive). This is the default.
-;; CHECK-NEXT:
 ;; CHECK-NEXT:   --hybrid                             Force all GC type definitions to be
 ;; CHECK-NEXT:                                        parsed using the isorecursive hybrid type
 ;; CHECK-NEXT:                                        system.
diff --git a/test/lit/help/wasm-ctor-eval.test b/test/lit/help/wasm-ctor-eval.test
index c20ccc8c8..9295fc9d1 100644
--- a/test/lit/help/wasm-ctor-eval.test
+++ b/test/lit/help/wasm-ctor-eval.test
@@ -126,10 +126,6 @@
 ;; CHECK-NEXT:   --nominal                            Force all GC type definitions to be
 ;; CHECK-NEXT:                                        parsed as nominal.
 ;; CHECK-NEXT:
-;; CHECK-NEXT:   --structural                         Force all GC type definitions to be
-;; CHECK-NEXT:                                        parsed as structural (i.e.
-;; CHECK-NEXT:                                        equirecursive). This is the default.
-;; CHECK-NEXT:
 ;; CHECK-NEXT:   --hybrid                             Force all GC type definitions to be
 ;; CHECK-NEXT:                                        parsed using the isorecursive hybrid type
 ;; CHECK-NEXT:                                        system.
diff --git a/test/lit/help/wasm-dis.test b/test/lit/help/wasm-dis.test
index f6baf0467..c0f0b6f38 100644
--- a/test/lit/help/wasm-dis.test
+++ b/test/lit/help/wasm-dis.test
@@ -115,10 +115,6 @@
 ;; CHECK-NEXT:   --nominal                            Force all GC type definitions to be
 ;; CHECK-NEXT:                                        parsed as nominal.
 ;; CHECK-NEXT:
-;; CHECK-NEXT:   --structural                         Force all GC type definitions to be
-;; CHECK-NEXT:                                        parsed as structural (i.e.
-;; CHECK-NEXT:                                        equirecursive). This is the default.
-;; CHECK-NEXT:
 ;; CHECK-NEXT:   --hybrid                             Force all GC type definitions to be
 ;; CHECK-NEXT:                                        parsed using the isorecursive hybrid type
 ;; CHECK-NEXT:                                        system.
diff --git a/test/lit/help/wasm-emscripten-finalize.test b/test/lit/help/wasm-emscripten-finalize.test
index 45d3a3eae..1600bb823 100644
--- a/test/lit/help/wasm-emscripten-finalize.test
+++ b/test/lit/help/wasm-emscripten-finalize.test
@@ -162,10 +162,6 @@
 ;; CHECK-NEXT:   --nominal                            Force all GC type definitions to be
 ;; CHECK-NEXT:                                        parsed as nominal.
 ;; CHECK-NEXT:
-;; CHECK-NEXT:   --structural                         Force all GC type definitions to be
-;; CHECK-NEXT:                                        parsed as structural (i.e.
-;; CHECK-NEXT:                                        equirecursive). This is the default.
-;; CHECK-NEXT:
 ;; CHECK-NEXT:   --hybrid                             Force all GC type definitions to be
 ;; CHECK-NEXT:                                        parsed using the isorecursive hybrid type
 ;; CHECK-NEXT:                                        system.
diff --git a/test/lit/help/wasm-fuzz-types.test b/test/lit/help/wasm-fuzz-types.test
index a282aa4a6..49e491358 100644
--- a/test/lit/help/wasm-fuzz-types.test
+++ b/test/lit/help/wasm-fuzz-types.test
@@ -9,23 +9,21 @@
 ;; CHECK-NEXT: wasm-fuzz-types options:
 ;; CHECK-NEXT: ------------------------
 ;; CHECK-NEXT:
-;; CHECK-NEXT:   --seed        Run a single workload generated by the given seed
+;; CHECK-NEXT:   --seed       Run a single workload generated by the given seed
 ;; CHECK-NEXT:
-;; CHECK-NEXT:   --verbose,-v  Print extra information
+;; CHECK-NEXT:   --verbose,-v Print extra information
 ;; CHECK-NEXT:
-;; CHECK-NEXT:   --nominal     Use the nominal type system (default)
+;; CHECK-NEXT:   --nominal    Use the nominal type system
 ;; CHECK-NEXT:
-;; CHECK-NEXT:   --structural  Use the equirecursive type system
-;; CHECK-NEXT:
-;; CHECK-NEXT:   --hybrid      Use the isorecursive hybrid type system
+;; CHECK-NEXT:   --hybrid     Use the isorecursive hybrid type system (default)
 ;; CHECK-NEXT:
 ;; CHECK-NEXT:
 ;; CHECK-NEXT: General options:
 ;; CHECK-NEXT: ----------------
 ;; CHECK-NEXT:
-;; CHECK-NEXT:   --version     Output version information and exit
+;; CHECK-NEXT:   --version    Output version information and exit
 ;; CHECK-NEXT:
-;; CHECK-NEXT:   --help,-h     Show this help message and exit
+;; CHECK-NEXT:   --help,-h    Show this help message and exit
 ;; CHECK-NEXT:
-;; CHECK-NEXT:   --debug,-d    Print debug information to stderr
+;; CHECK-NEXT:   --debug,-d   Print debug information to stderr
 ;; CHECK-NEXT:
diff --git a/test/lit/help/wasm-metadce.test b/test/lit/help/wasm-metadce.test
index 10e67873a..a748d8198 100644
--- a/test/lit/help/wasm-metadce.test
+++ b/test/lit/help/wasm-metadce.test
@@ -163,10 +163,6 @@
 ;; CHECK-NEXT:   --nominal                            Force all GC type definitions to be
 ;; CHECK-NEXT:                                        parsed as nominal.
 ;; CHECK-NEXT:
-;; CHECK-NEXT:   --structural                         Force all GC type definitions to be
-;; CHECK-NEXT:                                        parsed as structural (i.e.
-;; CHECK-NEXT:                                        equirecursive). This is the default.
-;; CHECK-NEXT:
 ;; CHECK-NEXT:   --hybrid                             Force all GC type definitions to be
 ;; CHECK-NEXT:                                        parsed using the isorecursive hybrid type
 ;; CHECK-NEXT:                                        system.
diff --git a/test/lit/help/wasm-opt.test b/test/lit/help/wasm-opt.test
index bc3d710ac..bdc4b9cd8 100644
--- a/test/lit/help/wasm-opt.test
+++ b/test/lit/help/wasm-opt.test
@@ -661,11 +661,6 @@
 ;; CHECK-NEXT:   --nominal                                     Force all GC type definitions to
 ;; CHECK-NEXT:                                                 be parsed as nominal.
 ;; CHECK-NEXT:
-;; CHECK-NEXT:   --structural                                  Force all GC type definitions to
-;; CHECK-NEXT:                                                 be parsed as structural (i.e.
-;; CHECK-NEXT:                                                 equirecursive). This is the
-;; CHECK-NEXT:                                                 default.
-;; CHECK-NEXT:
 ;; CHECK-NEXT:   --hybrid                                      Force all GC type definitions to
 ;; CHECK-NEXT:                                                 be parsed using the isorecursive
 ;; CHECK-NEXT:                                                 hybrid type system.
diff --git a/test/lit/help/wasm-reduce.test b/test/lit/help/wasm-reduce.test
index 9b394a7f7..c640cf5f7 100644
--- a/test/lit/help/wasm-reduce.test
+++ b/test/lit/help/wasm-reduce.test
@@ -151,10 +151,6 @@
 ;; CHECK-NEXT:   --nominal                            Force all GC type definitions to be
 ;; CHECK-NEXT:                                        parsed as nominal.
 ;; CHECK-NEXT:
-;; CHECK-NEXT:   --structural                         Force all GC type definitions to be
-;; CHECK-NEXT:                                        parsed as structural (i.e.
-;; CHECK-NEXT:                                        equirecursive). This is the default.
-;; CHECK-NEXT:
 ;; CHECK-NEXT:   --hybrid                             Force all GC type definitions to be
 ;; CHECK-NEXT:                                        parsed using the isorecursive hybrid type
 ;; CHECK-NEXT:                                        system.
diff --git a/test/lit/help/wasm-split.test b/test/lit/help/wasm-split.test
index 8da75cca2..176ba1858 100644
--- a/test/lit/help/wasm-split.test
+++ b/test/lit/help/wasm-split.test
@@ -231,10 +231,6 @@
 ;; CHECK-NEXT:   --nominal                            Force all GC type definitions to be
 ;; CHECK-NEXT:                                        parsed as nominal.
 ;; CHECK-NEXT:
-;; CHECK-NEXT:   --structural                         Force all GC type definitions to be
-;; CHECK-NEXT:                                        parsed as structural (i.e.
-;; CHECK-NEXT:                                        equirecursive). This is the default.
-;; CHECK-NEXT:
 ;; CHECK-NEXT:   --hybrid                             Force all GC type definitions to be
 ;; CHECK-NEXT:                                        parsed using the isorecursive hybrid type
 ;; CHECK-NEXT:                                        system.
diff --git a/test/lit/help/wasm2js.test b/test/lit/help/wasm2js.test
index ce2748343..16c6c45fc 100644
--- a/test/lit/help/wasm2js.test
+++ b/test/lit/help/wasm2js.test
@@ -620,11 +620,6 @@
 ;; CHECK-NEXT:   --nominal                                     Force all GC type definitions to
 ;; CHECK-NEXT:                                                 be parsed as nominal.
 ;; CHECK-NEXT:
-;; CHECK-NEXT:   --structural                                  Force all GC type definitions to
-;; CHECK-NEXT:                                                 be parsed as structural (i.e.
-;; CHECK-NEXT:                                                 equirecursive). This is the
-;; CHECK-NEXT:                                                 default.
-;; CHECK-NEXT:
 ;; CHECK-NEXT:   --hybrid                                      Force all GC type definitions to
 ;; CHECK-NEXT:                                                 be parsed using the isorecursive
 ;; CHECK-NEXT:                                                 hybrid type system.