Skip to content

Commit db4b02d

Browse files
authored
Specify cast behavior on null descriptors (#35)
All of the new cast instructions trap if they are provided a null descriptor value.
1 parent 099fe59 commit db4b02d

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

proposals/custom-descriptors/Overview.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -371,6 +371,8 @@ return the provided reference with the type described by the descriptor.
371371
If the type of the descriptor is exact,
372372
then the type of the cast output can also be exact.
373373

374+
If the provided descriptor is a null value, these instructions trap.
375+
374376
```
375377
ref.cast_desc reftype
376378

0 commit comments

Comments
 (0)