Transmute integer to fieldless enum #840
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This test should fail the test suite as it thunks, but doesn't due to a hack rule that was introduced. This rule stops the thunk from occurring.
jberthold
reviewed
Nov 13, 2025
jberthold
reviewed
Nov 13, 2025
- Corrected rules to check discriminant is valid; - Aggregate returned uses the discriminant to look up the variant; - Added error condition to prevent thunk if discriminant is invalid; - Added fail and passing tests;
jberthold
reviewed
Nov 13, 2025
- `#cast` uses `truncate` similar to `SwitchInt`; - Added test cases with negative discriminant; - Added test cases with positive discriminant and negative value; - Signed discriminants test fails but for unrelated reason I believe.
jberthold
approved these changes
Nov 14, 2025
Member
jberthold
left a comment
jberthold
left a comment
There was a problem hiding this comment.
Pre-approving, but please change the description text
Comment on lines
+6
to
+9
| │ (100 steps) | ||
| └─ 3 (stuck, leaf) | ||
| #traverseProjection ( toLocal ( 2 ) , thunk ( #decodeConstant ( constantKindAllo | ||
| span: 153 |
Member
There was a problem hiding this comment.
We should look into why this is failing. My guess is that the decoding code is not ready for signed discriminants.
Collaborator
Author
There was a problem hiding this comment.
I did a bit of minimised testing and wrote issue #848
automergerpr-permission-manager
bot
deleted the
dc/cast-u8-to-enum-fieldless
branch
automergerpr-permission-manager bot
pushed a commit
to runtimeverification/solana-token
that referenced
this pull request
Nov 17, 2025
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR implements semantics to cast (transmute) an integer into an enum if that enum is known to have no fields in it's variants. Some things to consider that influence this PR:
u8 -> i8fine,u8 -> u16not fine);u128in the type data even if they are unsigned at the source level;The combination of these points mean that the approach to soundly casting an integer into an enum is to treat the incoming integer as unsigned (converting if signed), and check if that value is in the discriminants. If yes, follow to the corresponding variant position; if not return
#UBErrorInvalidDisciminantsInEnumCast.The added code has meant a work around with retrieving the discriminant of a thunked cast can be removed.
All added tests that should pass do except for one which is failing, I have made an issue for this as it is related to decoding negative discriminant enum types from an allocation.