Add TraitConstraint as a comptime type
#5480
Labels
enhancement
New feature or request
Comments
This was referenced Jul 10, 2024
Closed
jzaki
pushed a commit
that referenced
this issue
Jul 17, 2024
# Description ## Problem\* Resolves #5480 Resolves #5481 ## Summary\* Adds: - The `TraitConstraint` type - `impl Eq for TraitConstraint` - `impl Hash for TraitConstraint` - `Quoted::as_trait_constraint` ## Additional Context Ran into the type error when calling trait impls issue again while working on this. Hence why it is a draft. ## Documentation\* Check one: - [ ] No documentation needed. - [ ] Documentation included in this PR. - [x] **[For Experimental Features]** Documentation to be submitted in a separate PR. # PR Checklist\* - [x] I have tested the changes locally. - [x] I have formatted the changes with [Prettier](https://prettier.io/) and/or `cargo fmt` on default settings.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Problem
We have no comptime type for representing trait constraints
Happy Case
We should add
TraitConstraintwhich supports at least Hash and Eq to begin with.Eventually we can add
typ.implements(trait_constraint)as well.Project Impact
None
Impact Context
No response
Workaround
None
Workaround Description
No response
Additional Context
No response
Would you like to submit a PR for this Issue?
None
Support Needs
No response
The text was updated successfully, but these errors were encountered: