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

Additional trait bounds with auto traits are unhandled #3007

Open
CohenArthur opened this issue May 17, 2024 · 1 comment · May be fixed by #3324
Open

Additional trait bounds with auto traits are unhandled #3007

CohenArthur opened this issue May 17, 2024 · 1 comment · May be fixed by #3324
Assignees
@philberty @CohenArthur
Labels
bug name resolution
Milestone
Auto traits impro...

Comments

@CohenArthur
Copy link
Member 

trait A {}

impl dyn A + Send {}
impl dyn A + Send + Sync {}

this code should work, but gccrs reaches an unreachable in the name resolver. Note that this code should work ONLY because the additional trait bounds are auto traits - it would not work if the bound was dyn A + B + C for example.
@CohenArthur CohenArthur mentioned this issue May 17, 2024
Open
@philberty philberty self-assigned this Sep 26, 2024
@CohenArthur CohenArthur self-assigned this Dec 25, 2024
@CohenArthur CohenArthur linked a pull request Dec 25, 2024 that will close this issue
Open
@CohenArthur
Copy link
Member Author

We probably need to keep going on that road to ensure those additional trait bounds are handled properly during typechecking and everything. But it seems to be the case already so I'm not too worries

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@philberty philberty

@CohenArthur CohenArthur

Labels
bug name resolution
Projects
None yet
Milestone
Auto traits improvements
Development

Successfully merging a pull request may close this issue.

Add resolution for additional trait bounds CohenArthur/gccrs
2 participants
@philberty @CohenArthur