You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Using enum variants can be quite verbose, since the enum name must always be used as a prefix.
Desired solution
Consider whether the enum name can be omitted. Ideally, this would also work inside of list literals, like when specifying impurity reasons using the Impure annotation.
Possible alternatives (optional)
No response
Screenshots (optional)
No response
Additional Context (optional)
No response
The text was updated successfully, but these errors were encountered:
Is your feature request related to a problem?
Using enum variants can be quite verbose, since the enum name must always be used as a prefix.
Desired solution
Consider whether the enum name can be omitted. Ideally, this would also work inside of list literals, like when specifying impurity reasons using the
Impure
annotation.Possible alternatives (optional)
No response
Screenshots (optional)
No response
Additional Context (optional)
No response
The text was updated successfully, but these errors were encountered: