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

feat: Implement diagnostics for E0038 #18000

Open
ShoyuVanilla opened this issue Aug 29, 2024 · 5 comments
Open

feat: Implement diagnostics for E0038 #18000

ShoyuVanilla opened this issue Aug 29, 2024 · 5 comments
Assignees
@ChayimFriedman2
Labels
A-diagnostics diagnostics / error reporting C-feature Category: feature request

Comments

@ShoyuVanilla
Copy link
Member

ShoyuVanilla commented Aug 29, 2024 •
edited by rustbot
Loading

As #17814 was merged, I think that E0038 can be implemented with ease
@ShoyuVanilla ShoyuVanilla added A-diagnostics diagnostics / error reporting C-feature Category: feature request labels Aug 29, 2024
@ChayimFriedman2
Copy link
Contributor

@rustbot claim

@ChayimFriedman2
Copy link
Contributor

This turned out not-so-easy since we currently have no infra for diagnostics in ty lowering...

@ShoyuVanilla
Copy link
Member Author

This turned out not-so-easy since we currently have no infra for diagnostics in ty lowering...

Oops, you're right. I just remembered we have no such thing yet 😢

@ChayimFriedman2
Copy link
Contributor

@ShoyuVanilla I'm working on it, but it's a major change because of how ty lowering works.

@ChayimFriedman2
Copy link
Contributor

First step (almost) complete: #18074.

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

@ChayimFriedman2 ChayimFriedman2

Labels
A-diagnostics diagnostics / error reporting C-feature Category: feature request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ShoyuVanilla @ChayimFriedman2