Skip to content

stringref instructions operands and results have non-nullable type#48

Open
wingo wants to merge 1 commit intomainfrom
nullability-bis
Open

stringref instructions operands and results have non-nullable type#48
wingo wants to merge 1 commit intomainfrom
nullability-bis

Conversation

@wingo
Copy link
Collaborator

@wingo wingo commented Sep 13, 2022

Also add a dependency on the typed function references proposal and explicitly describe the heaptype definitions.

Interestingly, it would appear that the examples are still well-typed after this change.

Fixes #47.

Also add a dependency on the typed function references proposal and
explicitly describe the `heaptype` definitions.

Interestingly, it would appear that the examples are still well-typed
after this change.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

stringref should be non-nullable by default?

1 participant