blob: 893628554e08e862bfc4cdded04017a0156d9732 [file] [log] [blame]
(module
(type $struct-rec-two (struct (field (ref $struct-rec-two)) (field (ref $struct-rec-two))))
(type $vector-i32 (array i32))
(type $struct-i31 (struct (field i31ref)))
(type $struct-rec-one (struct (field (ref $struct-rec-one))))
(type $ref|$vector-i32|_ref?|$vector-i32|_=>_none (func (param (ref $vector-i32) (ref null $vector-i32))))
(type $ref|$vector-i31|_ref|$vector-any|_=>_none (func (param (ref $vector-i31) (ref $vector-any))))
(type $ref|$struct-i31|_ref|$struct-any|_=>_none (func (param (ref $struct-i31) (ref $struct-any))))
(type $ref|$struct-i31|_ref|$struct-i31_any|_=>_none (func (param (ref $struct-i31) (ref $struct-i31_any))))
(type $ref|$struct-rec-one|_ref|$struct-rec-two|_=>_none (func (param (ref $struct-rec-one) (ref $struct-rec-two))))
(type $vector-i31 (array i31ref))
(type $vector-any (array (ref any)))
(type $struct-any (struct (field (ref any))))
(type $struct-i31_any (struct (field i31ref) (field (ref any))))
(func $foo (param $no-null (ref $vector-i32)) (param $yes-null (ref null $vector-i32))
(local.set $yes-null
(local.get $no-null)
)
)
(func $bar (param $v-i31 (ref $vector-i31)) (param $v-any (ref $vector-any))
(local.set $v-any
(local.get $v-i31)
)
)
(func $baz (param $s-i31 (ref $struct-i31)) (param $s-any (ref $struct-any))
(local.set $s-any
(local.get $s-i31)
)
)
(func $boo (param $s-i31 (ref $struct-i31)) (param $s-i31_any (ref $struct-i31_any))
(local.set $s-i31
(local.get $s-i31_any)
)
)
(func $coinductive (param $rec-one (ref $struct-rec-one)) (param $rec-two (ref $struct-rec-two))
(local.set $rec-one
(local.get $rec-two)
)
)
)