Skip to content

added flag in settings.json.template to prevent error in rust analyzer#2099

Open
ahuoguo wants to merge 1 commit intomainfrom
settings-json-flag
Open

added flag in settings.json.template to prevent error in rust analyzer#2099
ahuoguo wants to merge 1 commit intomainfrom
settings-json-flag

Conversation

@ahuoguo
Copy link
Collaborator

@ahuoguo ahuoguo commented Jan 21, 2026

Rust analyzer will have an error in source/cargo-verus/tests/src/utils.rs without the added feature flag

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

@ahuoguo ahuoguo requested a review from mkovaxx January 21, 2026 09:29
@ahuoguo ahuoguo closed this Jan 27, 2026
@ahuoguo ahuoguo reopened this Jan 27, 2026
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