// |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/);