Merge pull request #1726 from cryspen/hax-lib-no-edition

Switch hax-lib to Rust edition 2021.

Author: maximebuyse

CHANGELOG.md

@@ -39,6 +39,7 @@ Change to cargo-hax:
 
 Changes to hax-lib:
 - New behavior for `hax_lib::include`: it now forces inclusion when in contradiction with `-i` flag.
+- hax-lib requires edition 2021 instead of 2024 (#1726)
 
 Changes to the Lean backend:
 - Improve support for functionalized loops (#1695)

hax-lib/Cargo.toml

@@ -4,7 +4,7 @@ version.workspace = true
 authors.workspace = true
 license.workspace = true
 homepage.workspace = true
-edition.workspace = true
+edition = "2021"
 repository.workspace = true
 readme = "README.md"
 description = "Hax-specific helpers for Rust programs"

hax-lib/macros/Cargo.toml

@@ -4,7 +4,7 @@ version.workspace = true
 authors.workspace = true
 license.workspace = true
 homepage.workspace = true
-edition.workspace = true
+edition = "2021"
 repository.workspace = true
 readme = "README.md"
 description = "Hax-specific proc-macros for Rust programs"

hax-lib/macros/types/Cargo.toml

@@ -4,7 +4,7 @@ version.workspace = true
 authors.workspace = true
 license.workspace = true
 homepage.workspace = true
-edition.workspace = true
+edition = "2021"
 repository.workspace = true
 readme = "README.md"
 description = "Hax-internal types"

hax-lib/src/dummy.rs

@@ -1,5 +1,5 @@
 mod abstraction;
-pub use abstraction::*;
+pub use abstraction::Concretization;
 
 pub mod prop;
 pub use prop::*;