1(component)
2
3(component
4  (core module)
5)
6
7(component
8  (core module)
9  (core module)
10  (core module)
11)
12
13(component
14  (core module
15    (func (export "a") (result i32) i32.const 0)
16    (func (export "b") (result i64) i64.const 0)
17  )
18  (core module
19    (func (export "c") (result f32) f32.const 0)
20    (func (export "d") (result f64) f64.const 0)
21  )
22)
23
24(assert_invalid
25  (component
26    (import "a" (component))
27  )
28  "root-level component imports are not supported")
29
30(assert_invalid
31  (component
32    (component (export "a"))
33  )
34  "exporting a component from the root component is not supported")
35
36(component
37  (core module $m (func (export "")))
38  (core instance $m (instantiate $m))
39  (func (export "a") (canon lift (core func $m "")))
40)
41
42(assert_return (invoke "a"))
43