Skip to content

Changelog #298 #233

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

Merged
merged 1 commit into from
Aug 11, 2025
Merged

Changelog #298 #233

merged 1 commit into from
Aug 11, 2025

Conversation

lnicola
Copy link
Member

@lnicola lnicola commented Aug 11, 2025

No description provided.

This will also let us enable more on-the-fly diagnostics (currently marked as experimental), and even significantly improve performance.

However, in order to avoid regressions, we will suspend the weekly releases until the new solver is stabilized.
In the meanwhile, please test the pre-release versions (nightlies) and report any issues or improvements you might notice.
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Where?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we could make a new zulip discussion and issue template for next-gen solver thing?

Commit: commit:4e147e787987fdb1baf081bd5c60bedfb0aabe16[] +
Release: release:2025-08-11[] (`v0.3.2571`)

== An Update on the Next Trait Solver
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

r? @rust-analyzer/rust-analyzer

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sounds good to me, but I also wonder if we wanna put up a small blog post on rust-lang.org as well? 🤔 Assuming the people managing the blog there are fine with it

@lnicola
Copy link
Member Author

lnicola commented Aug 11, 2025

@Veykril think we can merge and post this before the eventual blog post?

@Veykril
Copy link
Member

Veykril commented Aug 11, 2025

Yes

@lnicola lnicola merged commit e958499 into src Aug 11, 2025
1 check passed
@lnicola lnicola deleted the changelog-298 branch August 11, 2025 08:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

3 participants