blob: f461a4875d9df27a41704d5a2555e6f03264c4fb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// |jit-test| skip-if: !wasmGcEnabled()
// Checking that we are correctly validating all subtyping rules.
// In this example, $b should be a subtype of $a, even if their field types
// will be loaded later.
wasmValidateText(`
(module
(rec
(type $a (sub (struct (field (ref $notParsedYet)))))
(type $b (sub $a (struct (field (ref $notParsedYet2)))))
(type $notParsedYet (sub (struct)))
(type $notParsedYet2 (sub $notParsedYet (struct (field i32))))
)
)`);
|