diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/validation/closed-world-interface.wast | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/test/lit/validation/closed-world-interface.wast b/test/lit/validation/closed-world-interface.wast index 06cf1cef7..daedaf990 100644 --- a/test/lit/validation/closed-world-interface.wast +++ b/test/lit/validation/closed-world-interface.wast @@ -3,10 +3,6 @@ ;; RUN: not wasm-opt -all --closed-world %s 2>&1 | filecheck %s -;; This is pulled in because it is part of a rec group with $partial-pair-0. -;; CHECK: publicly exposed type disallowed with a closed world: $partial-pair-1, on -;; CHECK-NEXT: (func) - ;; This is pulled in by a global. ;; CHECK: publicly exposed type disallowed with a closed world: $array, on ;; CHECK-NEXT: (array (mut i32)) @@ -32,8 +28,13 @@ (type $exported-pair-1 (func (param (ref $exported-pair-0)))) ) (rec + ;; This is on an exported function. (type $partial-pair-0 (func)) + ;; The latter type types are not public, but allowed to be because the + ;; entire rec group is allowed due to the first. (type $partial-pair-1 (func)) + ;; Test a non-function type. + (type $partial-pair-2 (struct)) ) (type $private (func (param v128))) @@ -61,7 +62,7 @@ ;; Ok even though it is an import instead of an export. (func $5 (import "env" "test5") (type $exported-pair-1)) - ;; Not ok because another type in the group is not on the boundary. + ;; Ok, and we also allow the other type in the group. (func $6 (export "test6") (type $partial-pair-0) (unreachable) ) |