From 08d83436d4df99bece55fe0848f8b1a045c720c6 Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Wed, 29 May 2024 12:02:57 +0000 Subject: [PATCH] cmm: Never inline package.metadata.* tables Signed-off-by: Nick Spinale --- crates/private/tests/root-task/verus/core/Cargo.toml | 4 +++- .../tool/crates/toml-normalize/src/builtin_policies.rs | 3 ++- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/crates/private/tests/root-task/verus/core/Cargo.toml b/crates/private/tests/root-task/verus/core/Cargo.toml index 24f08340e..834663296 100644 --- a/crates/private/tests/root-task/verus/core/Cargo.toml +++ b/crates/private/tests/root-task/verus/core/Cargo.toml @@ -15,7 +15,9 @@ version = "0.1.0" authors = ["Nick Spinale "] edition = "2021" license = "BSD-2-Clause" -metadata = { verus = { verify = true } } + +[package.metadata.verus] +verify = true [dependencies.builtin] git = "https://github.com/coliasgroup/verus.git" diff --git a/hacking/cargo-manifest-management/tool/crates/toml-normalize/src/builtin_policies.rs b/hacking/cargo-manifest-management/tool/crates/toml-normalize/src/builtin_policies.rs index 047355c82..1f1e7d451 100644 --- a/hacking/cargo-manifest-management/tool/crates/toml-normalize/src/builtin_policies.rs +++ b/hacking/cargo-manifest-management/tool/crates/toml-normalize/src/builtin_policies.rs @@ -18,6 +18,7 @@ pub fn cargo_manifest_policy() -> Policy { | . [-] | ['target'] .{2} | ['profile'] . ['build-override']? + | ['package'] ['metadata'] . "#, ) .unwrap(), @@ -66,7 +67,7 @@ pub fn cargo_manifest_policy() -> Policy { path_regex: PathRegex::new("['package']").unwrap(), key_ordering: KeyOrdering { front: vec!["name".to_owned(), "version".to_owned()], - back: vec!["description".to_owned()], + back: vec!["description".to_owned(), "metadata".to_owned()], }, ..Default::default() },