Skip to content

Make the AST structs and enums non-exhaustive #1250

Description

@Nadrieril

Let's reserve the space for adding variants/fields in the future. This does mean some non-breaking changes on the Rust side will be breaking to the OCaml side, but I'm ok with that.

Metadata

Metadata

Assignees

No one assigned

    Labels

    S-representationThis feature requires a nontrivial change to the AST of Charon

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions