Skip to content

jextract: Hide constructors (pointer, arena) because they are too easy to mistakenly call #359

@ktoso

Description

@ktoso

This looks right:

new Data(bytes, arena)

but is super wrong, because this just wraps the pointer to the types, but instead we want to

Data.init(bytes, arena),

which runs the Data initializer.

We should hide the constructors and offer them via a well named "scary" method name

Metadata

Metadata

Assignees

No one assigned

    Labels

    feature:jextractIssues related to jextract-swift

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions