Skip to content

Make some diagnostics lazy #3727

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.

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

Closed
wants to merge 1 commit into from
Closed

Make some diagnostics lazy #3727

wants to merge 1 commit into from

Conversation

Sbozzolo
Copy link
Member

@Sbozzolo Sbozzolo force-pushed the gb/lazy_diagnostic branch 15 times, most recently from 7c4f41e to dd58d55 Compare March 21, 2025 22:28
@Sbozzolo Sbozzolo force-pushed the gb/lazy_diagnostic branch from dd58d55 to 8c86ede Compare March 21, 2025 23:00
@Sbozzolo Sbozzolo closed this Mar 31, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant