Skip to content

Make compatible with latest Verus#42

Merged
hayley-leblanc merged 1 commit intomainfrom
verus-2026-01
Feb 6, 2026
Merged

Make compatible with latest Verus#42
hayley-leblanc merged 1 commit intomainfrom
verus-2026-01

Conversation

@jaylorch
Copy link
Member

@jaylorch jaylorch commented Feb 6, 2026

  • Bump up the vstd versions in various Cargo.toml files to the latest.

  • Avoid x == y where x is a &T and y is a T, which is deprecated now. Instead use *x == y.

Copy link
Collaborator

@hayley-leblanc hayley-leblanc left a comment

Choose a reason for hiding this comment

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

Looks good, thanks!

@hayley-leblanc hayley-leblanc merged commit 83f1a7b into main Feb 6, 2026
5 checks passed
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.

2 participants