Repository: bytecodealliance/wasm-tools (rust)

Issue:
Nested tuples and fixed size lists use a lot of memory
Originally posted by @alexcrichton and @cpetig in https://github.com/bytecodealliance/wasm-tools/pull/1992#discussion_r2064834026_

```wit
package a:b;

world x {
  type t = tuple<t2,t2,t2,t2,t2,t2,t2,t2,t2,t2,t2,t2,t2,t2,t2,t2,>;
  type t2 = tuple<t3,t3,t3,t3,t3,t3,t3,t3,t3,t3,t3,t3,t3,t3,t3,t3,>;
  type t3 = tuple<t4,t4,t4,t4,t4,t4,t4,t4,t4,t4,t4,t4,t4,t4,t4,t4,>;
  type t4 = tuple<t5,t5,t5,t5,t5,t5,t5,t5,t5,t5,t5,t5,t5,t5,t5,t5,>;
  type t5 = tuple<t6,t6,t6,t6,t6,t6,t6,t6,t6,t6,t6,t6,t6,t6,t6,t6,>;
  type t6 = tuple<t7,t7,t7,t7,t7,t7,t7,t7,t7,t7,t7,t7,t7,t7,t7,t7,>;
  type t7 = tuple<t8,t8,t8,t8,t8,t8,t8,t8,t8,t8,t8,t8,t8,t8,t8,t8,>;
  type t8 = tuple<u32,u32,u32,u32,u32,u32,u32,u32,u32,u32,u32,u32,u32,u32,u32,u32,>;
  import x: func(t: t);
}
```

when locally run as:

`$ cargo run component embed --dummy foo.wit -t`

takes ~30 seconds to produce the result. I think the reason is that this case isn't hit and then the recursion gets to go hog wild for a bit.

Pull request:
Improve time complexity of handling large WIT types
Update a few places in tooling which iterate over the structure of a WIT type to contain early-returns or similar to ensure that processing these large types doesn't take an exponential amount of time.

Closes #2164

Patch:
diff --git a/crates/wasmparser/src/validator/component_types.rs b/crates/wasmparser/src/validator/component_types.rs
index 99101f1a..9903c1eb 100644
--- a/crates/wasmparser/src/validator/component_types.rs
+++ b/crates/wasmparser/src/validator/component_types.rs
@@ -1144,9 +1144,6 @@ impl ComponentDefinedType {
             ),
             Self::List(_) => lowered_types.push(ValType::I32) && lowered_types.push(ValType::I32),
             Self::FixedSizeList(ty, length) => {
-                if *length as usize > lowered_types.max {
-                    return false;
-                }
                 (0..*length).all(|_n| ty.push_wasm_types(types, lowered_types))
             }
             Self::Tuple(t) => t
diff --git a/crates/wit-parser/src/abi.rs b/crates/wit-parser/src/abi.rs
index de1bb745..9dc09203 100644
--- a/crates/wit-parser/src/abi.rs
+++ b/crates/wit-parser/src/abi.rs
@@ -132,6 +132,40 @@ pub enum AbiVariant {
     GuestExportAsyncStackful,
 }
 
+pub struct FlatTypes<'a> {
+    types: &'a mut [WasmType],
+    cur: usize,
+    overflow: bool,
+}
+
+impl<'a> FlatTypes<'a> {
+    pub fn new(types: &'a mut [WasmType]) -> FlatTypes<'a> {
+        FlatTypes {
+            types,
+            cur: 0,
+            overflow: false,
+        }
+    }
+
+    pub fn push(&mut self, ty: WasmType) -> bool {
+        match self.types.get_mut(self.cur) {
+            Some(next) => {
+                *next = ty;
+                self.cur += 1;
+                true
+            }
+            None => {
+                self.overflow = true;
+                false
+            }
+        }
+    }
+
+    pub fn to_vec(&self) -> Vec<WasmType> {
+        self.types[..self.cur].to_vec()
+    }
+}
+
 impl Resolve {
     const MAX_FLAT_PARAMS: usize = 16;
     const MAX_FLAT_RESULTS: usize = 1;
@@ -150,16 +184,17 @@ impl Resolve {
             };
         }
 
-        let mut params = Vec::new();
-        let mut indirect_params = false;
-        for (_, param) in func.params.iter() {
-            self.push_flat(param, &mut params);
-        }
-
-        if params.len() > Self::MAX_FLAT_PARAMS {
-            params.truncate(0);
-            params.push(WasmType::Pointer);
-            indirect_params = true;
+        // Note that one extra parameter is allocated in case a return pointer
+        // is needed down below for imports.
+        let mut storage = [WasmType::I32; Self::MAX_FLAT_PARAMS + 1];
+        let mut params = FlatTypes::new(&mut storage);
+        let ok = self.push_flat_list(func.params.iter().map(|(_, param)| param), &mut params);
+        assert_eq!(ok, !params.overflow);
+
+        let indirect_params = !ok || params.cur > Self::MAX_FLAT_PARAMS;
+        if indirect_params {
+            params.types[0] = WasmType::Pointer;
+            params.cur = 1;
         } else {
             if matches!(
                 (&func.kind, variant),
@@ -176,15 +211,15 @@ impl Resolve {
                 // resource Handles and then use either I32 or Pointer in abi::push_flat().
                 // But this contextual information isn't available, yet.
                 // See https://github.com/bytecodealliance/wasm-tools/pull/1438 for more details.
-                assert!(matches!(params[0], WasmType::I32));
-                params[0] = WasmType::Pointer;
+                assert!(matches!(params.types[0], WasmType::I32));
+                params.types[0] = WasmType::Pointer;
             }
         }
 
         match variant {
             AbiVariant::GuestExportAsync => {
                 return WasmSignature {
-                    params,
+                    params: params.to_vec(),
                     indirect_params,
                     results: vec![WasmType::Pointer],
                     retptr: false,
@@ -192,7 +227,7 @@ impl Resolve {
             }
             AbiVariant::GuestExportAsyncStackful => {
                 return WasmSignature {
-                    params,
+                    params: params.to_vec(),
                     indirect_params,
                     results: Vec::new(),
                     retptr: false,
@@ -201,42 +236,50 @@ impl Resolve {
             _ => {}
         }
 
-        let mut results = Vec::new();
+        let mut storage = [WasmType::I32; Self::MAX_FLAT_RESULTS];
+        let mut results = FlatTypes::new(&mut storage);
         if let Some(ty) = &func.result {
-            self.push_flat(ty, &mut results)
+            self.push_flat(ty, &mut results);
         }
 
-        let mut retptr = false;
+        let retptr = results.overflow;
 
         // Rust/C don't support multi-value well right now, so if a function
         // would have multiple results then instead truncate it. Imports take a
         // return pointer to write into and exports return a pointer they wrote
         // into.
-        if results.len() > Self::MAX_FLAT_RESULTS {
-            retptr = true;
-            results.truncate(0);
+        if retptr {
+            results.cur = 0;
             match variant {
                 AbiVariant::GuestImport => {
-                    params.push(WasmType::Pointer);
+                    assert!(params.push(WasmType::Pointer));
                 }
                 AbiVariant::GuestExport => {
-                    results.push(WasmType::Pointer);
+                    assert!(results.push(WasmType::Pointer));
                 }
                 _ => unreachable!(),
             }
         }
 
         WasmSignature {
-            params,
+            params: params.to_vec(),
             indirect_params,
-            results,
+            results: results.to_vec(),
             retptr,
         }
     }
 
+    fn push_flat_list<'a>(
+        &self,
+        mut list: impl Iterator<Item = &'a Type>,
+        result: &mut FlatTypes<'_>,
+    ) -> bool {
+        list.all(|ty| self.push_flat(ty, result))
+    }
+
     /// Appends the flat wasm types representing `ty` onto the `result`
     /// list provided.
-    pub fn push_flat(&self, ty: &Type, result: &mut Vec<WasmType>) {
+    pub fn push_flat(&self, ty: &Type, result: &mut FlatTypes<'_>) -> bool {
         match ty {
             Type::Bool
             | Type::S8
@@ -251,76 +294,53 @@ impl Resolve {
             Type::U64 | Type::S64 => result.push(WasmType::I64),
             Type::F32 => result.push(WasmType::F32),
             Type::F64 => result.push(WasmType::F64),
-            Type::String => {
-                result.push(WasmType::Pointer);
-                result.push(WasmType::Length);
-            }
+            Type::String => result.push(WasmType::Pointer) && result.push(WasmType::Length),
 
             Type::Id(id) => match &self.types[*id].kind {
                 TypeDefKind::Type(t) => self.push_flat(t, result),
 
                 TypeDefKind::Handle(Handle::Own(_) | Handle::Borrow(_)) => {
-                    result.push(WasmType::I32);
+                    result.push(WasmType::I32)
                 }
 
                 TypeDefKind::Resource => todo!(),
 
                 TypeDefKind::Record(r) => {
-                    for field in r.fields.iter() {
-                        self.push_flat(&field.ty, result);
-                    }
+                    self.push_flat_list(r.fields.iter().map(|f| &f.ty), result)
                 }
 
-                TypeDefKind::Tuple(t) => {
-                    for ty in t.types.iter() {
-                        self.push_flat(ty, result);
-                    }
-                }
+                TypeDefKind::Tuple(t) => self.push_flat_list(t.types.iter(), result),
 
                 TypeDefKind::Flags(r) => {
-                    for _ in 0..r.repr().count() {
-                        result.push(WasmType::I32);
-                    }
+                    self.push_flat_list((0..r.repr().count()).map(|_| &Type::U32), result)
                 }
 
                 TypeDefKind::List(_) => {
-                    result.push(WasmType::Pointer);
-                    result.push(WasmType::Length);
+                    result.push(WasmType::Pointer) && result.push(WasmType::Length)
                 }
 
                 TypeDefKind::FixedSizeList(ty, size) => {
-                    for _ in 0..usize::try_from(*size)
-                        .unwrap_or(Self::MAX_FLAT_PARAMS)
-                        .min(Self::MAX_FLAT_PARAMS)
-                    {
-                        self.push_flat(ty, result);
-                    }
+                    self.push_flat_list((0..*size).map(|_| ty), result)
                 }
 
                 TypeDefKind::Variant(v) => {
-                    result.push(v.tag().into());
-                    self.push_flat_variants(v.cases.iter().map(|c| c.ty.as_ref()), result);
+                    result.push(v.tag().into())
+                        && self.push_flat_variants(v.cases.iter().map(|c| c.ty.as_ref()), result)
                 }
 
                 TypeDefKind::Enum(e) => result.push(e.tag().into()),
 
                 TypeDefKind::Option(t) => {
-                    result.push(WasmType::I32);
-                    self.push_flat_variants([None, Some(t)], result);
+                    result.push(WasmType::I32) && self.push_flat_variants([None, Some(t)], result)
                 }
 
                 TypeDefKind::Result(r) => {
-                    result.push(WasmType::I32);
-                    self.push_flat_variants([r.ok.as_ref(), r.err.as_ref()], result);
+                    result.push(WasmType::I32)
+                        && self.push_flat_variants([r.ok.as_ref(), r.err.as_ref()], result)
                 }
 
-                TypeDefKind::Future(_) => {
-                    result.push(WasmType::I32);
-                }
-
-                TypeDefKind::Stream(_) => {
-                    result.push(WasmType::I32);
-                }
+                TypeDefKind::Future(_) => result.push(WasmType::I32),
+                TypeDefKind::Stream(_) => result.push(WasmType::I32),
 
                 TypeDefKind::Unknown => unreachable!(),
             },
@@ -330,10 +350,11 @@ impl Resolve {
     fn push_flat_variants<'a>(
         &self,
         tys: impl IntoIterator<Item = Option<&'a Type>>,
-        result: &mut Vec<WasmType>,
-    ) {
-        let mut temp = Vec::new();
-        let start = result.len();
+        result: &mut FlatTypes<'_>,
+    ) -> bool {
+        let mut temp = result.types[result.cur..].to_vec();
+        let mut temp = FlatTypes::new(&mut temp);
+        let start = result.cur;
 
         // Push each case's type onto a temporary vector, and then
         // merge that vector into our final list starting at
@@ -343,15 +364,27 @@ impl Resolve {
         // `i32` might be the `f32` bitcasted.
         for ty in tys {
             if let Some(ty) = ty {
-                self.push_flat(ty, &mut temp);
+                if !self.push_flat(ty, &mut temp) {
+                    result.overflow = true;
+                    return false;
+                }
 
-                for (i, ty) in temp.drain(..).enumerate() {
-                    match result.get_mut(start + i) {
-                        Some(prev) => *prev = join(*prev, ty),
-                        None => result.push(ty),
+                for (i, ty) in temp.types[..temp.cur].iter().enumerate() {
+                    let i = i + start;
+                    if i < result.cur {
+                        result.types[i] = join(result.types[i], *ty);
+                    } else if result.cur == result.types.len() {
+                        result.overflow = true;
+                        return false;
+                    } else {
+                        result.types[i] = *ty;
+                        result.cur += 1;
                     }
                 }
+                temp.cur = 0;
             }
         }
+
+        true
     }
 }
diff --git a/crates/wit-parser/src/ast/resolve.rs b/crates/wit-parser/src/ast/resolve.rs
index 0e626d87..fc718c9d 100644
--- a/crates/wit-parser/src/ast/resolve.rs
+++ b/crates/wit-parser/src/ast/resolve.rs
@@ -1339,7 +1339,10 @@ impl<'a> Resolver<'a> {
                 if !matches!(&ty.stability, Stability::Unknown) {
                     Some(&ty.stability)
                 } else {
-                    find_in_kind(types, &ty.kind)
+                    // Note that this type isn't searched recursively since the
+                    // creation of `id` should already have searched its
+                    // recursive edges, so there's no need to search again.
+                    None
                 }
             } else {
                 None
diff --git a/src/bin/wasm-tools/component.rs b/src/bin/wasm-tools/component.rs
index 2d2e4375..4c9e8310 100644
--- a/src/bin/wasm-tools/component.rs
+++ b/src/bin/wasm-tools/component.rs
@@ -10,7 +10,7 @@ use wasm_encoder::reencode::{Error, Reencode, ReencodeComponent, RoundtripReenco
 use wasm_encoder::ModuleType;
 use wasm_tools::Output;
 use wasmparser::types::{CoreTypeId, EntityType, Types};
-use wasmparser::{Payload, ValidPayload};
+use wasmparser::{Payload, ValidPayload, WasmFeatures};
 use wat::Detect;
 use wit_component::{
     embed_component_metadata, metadata, ComponentEncoder, DecodedWasm, Linker, StringEncoding,
@@ -831,7 +831,7 @@ impl WitOpts {
         let decoded_package = decoded.package();
         let bytes = wit_component::encode(decoded.resolve(), decoded_package)?;
         if !self.skip_validation {
-            wasmparser::Validator::new().validate_all(&bytes)?;
+            wasmparser::Validator::new_with_features(WasmFeatures::all()).validate_all(&bytes)?;
         }
         self.output.output_wasm(&self.general, &bytes, self.wat)?;
         Ok(())


Test patch:
diff --git a/tests/cli/wit-deep-list.wit b/tests/cli/wit-deep-list.wit
new file mode 100644
index 00000000..a3c23d44
--- /dev/null
+++ b/tests/cli/wit-deep-list.wit
@@ -0,0 +1,18 @@
+// RUN[parse]: component wit % -t | validate -f cm-fixed-size-list
+// RUN[abi]: component embed --dummy % | component new | validate -f cm-fixed-size-list
+
+package a:b;
+
+world lists {
+  type t = list<t2, 16>;
+  type t2 = list<t3, 16>;
+  type t3 = list<t4, 16>;
+  type t4 = list<t5, 16>;
+  type t5 = list<t6, 16>;
+  type t6 = list<t7, 16>;
+  type t7 = list<t8, 16>;
+  type t8 = list<u8, 16>;
+
+  import x: func(t: t);
+}
+
diff --git a/tests/cli/wit-deep-record.wit b/tests/cli/wit-deep-record.wit
new file mode 100644
index 00000000..dcdb6d35
--- /dev/null
+++ b/tests/cli/wit-deep-record.wit
@@ -0,0 +1,42 @@
+// FAIL[parse]: component wit % -t
+// FAIL[abi]: component embed --dummy % | component new
+
+package a:b;
+
+world records {
+  record t1 {
+    f1: t2, f2: t2, f3: t2, f4: t2, f5: t2, f6: t2, f7: t2, f8: t2,
+    f9: t2, f10: t2, f11: t2, f12: t2, f13: t2, f14: t2, f15: t2, f16: t2,
+  }
+  record t2 {
+    f1: t3, f2: t3, f3: t3, f4: t3, f5: t3, f6: t3, f7: t3, f8: t3,
+    f9: t3, f10: t3, f11: t3, f12: t3, f13: t3, f14: t3, f15: t3, f16: t3,
+  }
+  record t3 {
+    f1: t4, f2: t4, f3: t4, f4: t4, f5: t4, f6: t4, f7: t4, f8: t4,
+    f9: t4, f10: t4, f11: t4, f12: t4, f13: t4, f14: t4, f15: t4, f16: t4,
+  }
+  record t4 {
+    f1: t5, f2: t5, f3: t5, f4: t5, f5: t5, f6: t5, f7: t5, f8: t5,
+    f9: t5, f10: t5, f11: t5, f12: t5, f13: t5, f14: t5, f15: t5, f16: t5,
+  }
+  record t5 {
+    f1: t6, f2: t6, f3: t6, f4: t6, f5: t6, f6: t6, f7: t6, f8: t6,
+    f9: t6, f10: t6, f11: t6, f12: t6, f13: t6, f14: t6, f15: t6, f16: t6,
+  }
+  record t6 {
+    f1: t7, f2: t7, f3: t7, f4: t7, f5: t7, f6: t7, f7: t7, f8: t7,
+    f9: t7, f10: t7, f11: t7, f12: t7, f13: t7, f14: t7, f15: t7, f16: t7,
+  }
+  record t7 {
+    f1: t8, f2: t8, f3: t8, f4: t8, f5: t8, f6: t8, f7: t8, f8: t8,
+    f9: t8, f10: t8, f11: t8, f12: t8, f13: t8, f14: t8, f15: t8, f16: t8,
+  }
+  record t8 {
+    f1: u8, f2: u8, f3: u8, f4: u8, f5: u8, f6: u8, f7: u8, f8: u8,
+    f9: u8, f10: u8, f11: u8, f12: u8, f13: u8, f14: u8, f15: u8, f16: u8,
+  }
+
+  import x: func(t: t1);
+}
+
diff --git a/tests/cli/wit-deep-record.wit.abi.stderr b/tests/cli/wit-deep-record.wit.abi.stderr
new file mode 100644
index 00000000..22fec7a9
--- /dev/null
+++ b/tests/cli/wit-deep-record.wit.abi.stderr
@@ -0,0 +1,4 @@
+error: decoding custom section component-type
+
+Caused by:
+    0: effective type size exceeds the limit of 1000000 (at offset 0x27)
diff --git a/tests/cli/wit-deep-record.wit.parse.stderr b/tests/cli/wit-deep-record.wit.parse.stderr
new file mode 100644
index 00000000..10ffc9d0
--- /dev/null
+++ b/tests/cli/wit-deep-record.wit.parse.stderr
@@ -0,0 +1,1 @@
+error: effective type size exceeds the limit of 1000000 (at offset 0xc)
diff --git a/tests/cli/wit-deep-tuple.wit b/tests/cli/wit-deep-tuple.wit
new file mode 100644
index 00000000..decff8e8
--- /dev/null
+++ b/tests/cli/wit-deep-tuple.wit
@@ -0,0 +1,17 @@
+// FAIL[parse]: component wit % -t
+// FAIL[abi]: component embed --dummy % | component new
+
+package a:b;
+
+world tuples {
+  type t = tuple<t2,t2,t2,t2,t2,t2,t2,t2,t2,t2,t2,t2,t2,t2,t2,t2,>;
+  type t2 = tuple<t3,t3,t3,t3,t3,t3,t3,t3,t3,t3,t3,t3,t3,t3,t3,t3,>;
+  type t3 = tuple<t4,t4,t4,t4,t4,t4,t4,t4,t4,t4,t4,t4,t4,t4,t4,t4,>;
+  type t4 = tuple<t5,t5,t5,t5,t5,t5,t5,t5,t5,t5,t5,t5,t5,t5,t5,t5,>;
+  type t5 = tuple<t6,t6,t6,t6,t6,t6,t6,t6,t6,t6,t6,t6,t6,t6,t6,t6,>;
+  type t6 = tuple<t7,t7,t7,t7,t7,t7,t7,t7,t7,t7,t7,t7,t7,t7,t7,t7,>;
+  type t7 = tuple<t8,t8,t8,t8,t8,t8,t8,t8,t8,t8,t8,t8,t8,t8,t8,t8,>;
+  type t8 = tuple<u8,u8,u8,u8,u8,u8,u8,u8,u8,u8,u8,u8,u8,u8,u8,u8,>;
+
+  import x: func(t: t);
+}
diff --git a/tests/cli/wit-deep-tuple.wit.abi.stderr b/tests/cli/wit-deep-tuple.wit.abi.stderr
new file mode 100644
index 00000000..22fec7a9
--- /dev/null
+++ b/tests/cli/wit-deep-tuple.wit.abi.stderr
@@ -0,0 +1,4 @@
+error: decoding custom section component-type
+
+Caused by:
+    0: effective type size exceeds the limit of 1000000 (at offset 0x27)
diff --git a/tests/cli/wit-deep-tuple.wit.parse.stderr b/tests/cli/wit-deep-tuple.wit.parse.stderr
new file mode 100644
index 00000000..10ffc9d0
--- /dev/null
+++ b/tests/cli/wit-deep-tuple.wit.parse.stderr
@@ -0,0 +1,1 @@
+error: effective type size exceeds the limit of 1000000 (at offset 0xc)
diff --git a/tests/cli/wit-deep-variant.wit b/tests/cli/wit-deep-variant.wit
new file mode 100644
index 00000000..a68f5428
--- /dev/null
+++ b/tests/cli/wit-deep-variant.wit
@@ -0,0 +1,47 @@
+// FAIL[parse]: component wit % -t
+
+// TODO: this should use "FAIL" and should actually be a test, but this
+// currently takes too long to run and the long runtime is in and of itself a
+// bug.
+// fail[abi]: component embed --dummy % | component new
+
+package a:b;
+
+world variants {
+  variant t1 {
+    f1(t2), f2(t2), f3(t2), f4(t2), f5(t2), f6(t2), f7(t2), f8(t2),
+    f9(t2), f10(t2), f11(t2), f12(t2), f13(t2), f14(t2), f15(t2), f16(t2),
+  }
+  variant t2 {
+    f1(t3), f2(t3), f3(t3), f4(t3), f5(t3), f6(t3), f7(t3), f8(t3),
+    f9(t3), f10(t3), f11(t3), f12(t3), f13(t3), f14(t3), f15(t3), f16(t3),
+  }
+  variant t3 {
+    f1(t4), f2(t4), f3(t4), f4(t4), f5(t4), f6(t4), f7(t4), f8(t4),
+    f9(t4), f10(t4), f11(t4), f12(t4), f13(t4), f14(t4), f15(t4), f16(t4),
+  }
+  variant t4 {
+    f1(t5), f2(t5), f3(t5), f4(t5), f5(t5), f6(t5), f7(t5), f8(t5),
+    f9(t5), f10(t5), f11(t5), f12(t5), f13(t5), f14(t5), f15(t5), f16(t5),
+  }
+  variant t5 {
+    f1(t6), f2(t6), f3(t6), f4(t6), f5(t6), f6(t6), f7(t6), f8(t6),
+    f9(t6), f10(t6), f11(t6), f12(t6), f13(t6), f14(t6), f15(t6), f16(t6),
+  }
+  variant t6 {
+    f1(t7), f2(t7), f3(t7), f4(t7), f5(t7), f6(t7), f7(t7), f8(t7),
+    f9(t7), f10(t7), f11(t7), f12(t7), f13(t7), f14(t7), f15(t7), f16(t7),
+  }
+  variant t7 {
+    f1(t8), f2(t8), f3(t8), f4(t8), f5(t8), f6(t8), f7(t8), f8(t8),
+    f9(t8), f10(t8), f11(t8), f12(t8), f13(t8), f14(t8), f15(t8), f16(t8),
+  }
+  variant t8 {
+    f1(u8), f2(u8), f3(u8), f4(u8), f5(u8), f6(u8), f7(u8), f8(u8),
+    f9(u8), f10(u8), f11(u8), f12(u8), f13(u8), f14(u8), f15(u8), f16(u8),
+  }
+
+  import x: func(t: t1);
+}
+
+
diff --git a/tests/cli/wit-deep-variant.wit.parse.stderr b/tests/cli/wit-deep-variant.wit.parse.stderr
new file mode 100644
index 00000000..10ffc9d0
--- /dev/null
+++ b/tests/cli/wit-deep-variant.wit.parse.stderr
@@ -0,0 +1,1 @@
+error: effective type size exceeds the limit of 1000000 (at offset 0xc)