blob: 7787a1d3bb2764a3f735caaeb0f857581528210b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
// |jit-test| skip-if: !wasmGcEnabled()
// Validate that incorrect subtyping examples are failing as expected
const typeError = /incompatible super type/;
var code =`
(module
(type $A (sub (struct (field i32))))
(type $B (sub $A (struct (field i32) (field i32))))
(type $C (sub $B (struct (field i32) (field i32) (field i64))))
;; Can't declare a super type with the final flag
(type $D (sub final $C (struct (field i32) (field i32) (field f32))))
(type $E (sub $D (struct (field i32) (field i32) (field f32))))
)`;
wasmFailValidateText(code, typeError);
code =`
(module
(type $A (sub (struct (field i32))))
(type $B (sub $A (struct (field i32) (field i32))))
(type $C (sub $B (struct (field i32) (field i32))))
;; $D is final, without any supertype
(type $D (sub final (struct (field i32) (field i32) (field f32))))
(type $E (sub $D (struct (field i32) (field i32) (field f32))))
)`;
wasmFailValidateText(code, typeError);
// Types are final by default.
code =`
(module
(type $A (struct (field i32)))
(type $B (sub $A (struct (field i32) (field i32))))
)`;
wasmFailValidateText(code, typeError);
// A super type index must be stricly less than the current type.
code =`
(module
(type $A (sub (struct (field i32))))
(type $B (sub $B (struct (field i32) (field i32))))
)`;
wasmFailValidateText(code, /invalid super type index/);
|