Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

TypeVariable(Field) does not behave like Field when being cast #1875

Closed
ludamad opened this issue Jul 6, 2023 · 1 comment · Fixed by #2022
Closed

TypeVariable(Field) does not behave like Field when being cast #1875

ludamad opened this issue Jul 6, 2023 · 1 comment · Fixed by #2022
Assignees
@jfecher
Labels
bug Something isn't working good first issue Good for newcomers

Comments

@ludamad
Copy link
Collaborator

ludamad commented Jul 6, 2023 •
edited
Loading

Aim

Had to cast a Field to a u32, but it ultimately came from generics, minimal reproducer:

Screenshot 2023-07-06 at 3 23 10 PM

Viable workaround: First assigning this to a let x: Field. Low priority as a result.

Expected Behavior

This cast should be allowed

Bug

This seems to be due to this technically being a TypeVariable in the compiler, but should act the same for the user.

To Reproduce

See above screenshot.

Installation Method

None

Nargo Version

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response
@ludamad ludamad added the bug Something isn't working label Jul 6, 2023
@github-project-automation github-project-automation bot moved this to 📋 Backlog in Noir Jul 6, 2023
@ludamad ludamad added the good first issue Good for newcomers label Jul 6, 2023
@kevaundray
Copy link
Contributor

@jfecher what is the status of this issue?

@jfecher jfecher mentioned this issue Jul 24, 2023
Merged
5 tasks
@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in Noir Jul 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jfecher jfecher

Labels
bug Something isn't working good first issue Good for newcomers
Projects
Noir
Archived in project
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

fix: Add missing follow_bindings when checking if a type can be casted noir-lang/noir
3 participants
@ludamad @jfecher @kevaundray