Skip to content
This repository was archived by the owner on Apr 25, 2025. It is now read-only.
This repository was archived by the owner on Apr 25, 2025. It is now read-only.

Hosts should be disallowed from creating impossible data #332

@tlively

Description

@tlively

As @rossberg mentioned in #314 (comment), we should spec that the host cannot create WasmGC data that could not have been created in Wasm. This includes structures with cycles of immutable non-nullable references and also non-null references to bottom types.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions