summaryrefslogtreecommitdiff
path: root/test/lit/parse-bad-supertype-8616.wast
blob: c7c3dc957d79f53046bc75619abce60fd12b4477 (plain)
1
2
3
4
5
6
7
8
9
10
11
;; RUN: not wasm-opt %s 2>&1 | filecheck %s

;; CHECK: Fatal: 9:2: error: invalid type: Heap type has an undeclared supertype

;; Regression test for a parser bug that caused an assertion failure in this case.
(module
 (rec
  (type $A (sub (struct (field i32))))
  (type $B (sub $B (struct (field i32) (field i32))))
 )
)