New lint: Pub module level static missing

src/lints/pub_static_missing.ron

@@ -0,0 +1,47 @@
+SemverQuery(
+    id: "pub_static_missing",
+    human_readable_name: "pub static is missing",
+    description: "A pub static is missing, renamed, or made private",
+    required_update: Major,
+    reference_link: Some("https://doc.rust-lang.org/cargo/reference/semver.html#item-remove"),
+    query: r#"
+    {
+        CrateDiff {
+            baseline {
+                item {
+                    ... on Static {
+                        visibility_limit @filter(op: "=", value: ["$public"]) @output
+                        name @output
+
+                        importable_path {
+                            path @output @tag
+                        }
+
+                        span_: span @optional {
+                            filename @output
+                            begin_line @output
+                        }
+                    }
+                }
+            }
+            current {
+                item @fold @transform(op: "count") @filter(op: "=", value: ["$zero"]) {
+                    # A GlobalValue is a supertype of Static and Constant
+                    ... on GlobalValue {
+                        visibility_limit @filter(op: "=", value: ["$public"])
+
+                        importable_path {
+                            path @filter(op: "=", value: ["%path"])
+                        }
+                    }
+                }
+            }
+        }
+    }"#,
+    arguments: {
+        "public": "public",
+        "zero": 0,
+    },
+    error_message: "A public static is missing, renamed, or made private.",
+    per_result_error_template: Some("{{name}} in file {{span_filename}}:{{span_begin_line}}"),
+)

src/query.rs

@@ -512,4 +512,5 @@ add_lints!(
     enum_tuple_variant_field_added,
     trait_removed_supertrait,
     pub_module_level_const_missing,
+    pub_static_missing,
 );

test_crates/pub_static_missing/new/Cargo.toml

@@ -0,0 +1,7 @@
+[package]
+publish = false
+name = "pub_static_missing"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]

test_crates/pub_static_missing/new/src/lib.rs

@@ -0,0 +1,30 @@
+pub static PUB_STATIC_IN_GLOBAL: i32 = 0;
+pub static PUB_STATIC_IN_GLOBAL_IS_RENAMED: i32 = 0;
+pub const PUB_STATIC_IN_GLOBAL_WILL_BE_CONST: i32 = 0;
+const PUB_STATIC_IN_GLOBAL_WILL_BE_PRIVATE_CONST: i32 = 0;
+static PUB_STATIC_IN_GLOBAL_WILL_BE_PRIVATE_STATIC: i32 = 0;
+
+mod re_exporter {
+    pub const SPECIAL_CONST: i32 = 0;
+    pub static SPECIAL_STATIC: i32 = 0;
+}
+
+pub mod my_module {
+    pub static PUB_STATIC_IN_MODULE: i32 = 0;
+    pub static PUB_STATIC_IN_MODULE_IS_RENAMED: i32 = 0;
+    pub const PUB_STATIC_IN_MODULE_WILL_BE_CONST: i32 = 0;
+    const PUB_STATIC_IN_MODULE_WILL_BE_PRIVATE_CONST: i32 = 0;
+    static PUB_STATIC_IN_MODULE_WILL_BE_PRIVATE_STATIC: i32 = 0;
+    pub use crate::re_exporter::SPECIAL_CONST as PUB_STATIC_IN_MODULE_WILL_RE_EXPORT_CONST;
+    pub use crate::re_exporter::SPECIAL_STATIC as PUB_STATIC_IN_MODULE_WILL_RE_EXPORT;
+
+    pub mod my_module_nested {
+        pub static PUB_STATIC_IN_NESTED_MODULE: i32 = 0;
+        pub static PUB_STATIC_IN_NESTED_MODULE_IS_RENAMED: i32 = 0;
+        pub const PUB_STATIC_IN_NESTED_MODULE_WILL_BE_CONST: i32 = 0;
+        const PUB_STATIC_IN_NESTED_MODULE_WILL_BE_PRIVATE_CONST: i32 = 0;
+        static PUB_STATIC_IN_NESTED_MODULE_WILL_BE_PRIVATE_STATIC: i32 = 0;
+        pub use crate::re_exporter::SPECIAL_CONST as PUB_STATIC_IN_NESTED_MODULE_WILL_RE_EXPORT_CONST;
+        pub use crate::re_exporter::SPECIAL_STATIC as PUB_STATIC_IN_NESTED_MODULE_WILL_RE_EXPORT;
+    }
+}

test_crates/pub_static_missing/old/Cargo.toml

@@ -0,0 +1,7 @@
+[package]
+publish = false
+name = "pub_static_missing"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]

test_crates/pub_static_missing/old/src/lib.rs

@@ -0,0 +1,28 @@
+pub static PUB_STATIC_IN_GLOBAL: i32 = 0;
+pub static PUB_STATIC_IN_GLOBAL_WILL_REMOVE: i32 = 0;
+pub static PUB_STATIC_IN_GLOBAL_WILL_RENAME: i32 = 0;
+pub static PUB_STATIC_IN_GLOBAL_WILL_BE_CONST: i32 = 0;
+pub static PUB_STATIC_IN_GLOBAL_WILL_BE_PRIVATE_CONST: i32 = 0;
+pub static PUB_STATIC_IN_GLOBAL_WILL_BE_PRIVATE_STATIC: i32 = 0;
+
+pub mod my_module {
+    pub static PUB_STATIC_IN_MODULE: i32 = 0;
+    pub static PUB_STATIC_IN_MODULE_WILL_REMOVE: i32 = 0;
+    pub static PUB_STATIC_IN_MODULE_WILL_RENAME: i32 = 0;
+    pub static PUB_STATIC_IN_MODULE_WILL_BE_CONST: i32 = 0;
+    pub static PUB_STATIC_IN_MODULE_WILL_BE_PRIVATE_CONST: i32 = 0;
+    pub static PUB_STATIC_IN_MODULE_WILL_BE_PRIVATE_STATIC: i32 = 0;
+    pub static PUB_STATIC_IN_MODULE_WILL_RE_EXPORT: i32 = 0;
+    pub static PUB_STATIC_IN_MODULE_WILL_RE_EXPORT_CONST: i32 = 0;
+
+    pub mod my_module_nested {
+        pub static PUB_STATIC_IN_NESTED_MODULE: i32 = 0;
+        pub static PUB_STATIC_IN_NESTED_MODULE_WILL_REMOVE: i32 = 0;
+        pub static PUB_STATIC_IN_NESTED_MODULE_WILL_RENAME: i32 = 0;
+        pub static PUB_STATIC_IN_NESTED_MODULE_WILL_BE_CONST: i32 = 0;
+        pub static PUB_STATIC_IN_NESTED_MODULE_WILL_BE_PRIVATE_CONST: i32 = 0;
+        pub static PUB_STATIC_IN_NESTED_MODULE_WILL_BE_PRIVATE_STATIC: i32 = 0;
+        pub static PUB_STATIC_IN_NESTED_MODULE_WILL_RE_EXPORT: i32 = 0;
+        pub static PUB_STATIC_IN_NESTED_MODULE_WILL_RE_EXPORT_CONST: i32 = 0;
+    }
+}

test_outputs/pub_static_missing.output.ron

@@ -0,0 +1,136 @@
+{
+    "./test_crates/pub_static_missing/": [
+        {
+            "name": String("PUB_STATIC_IN_GLOBAL_WILL_REMOVE"),
+            "path": List([
+                String("pub_static_missing"),
+                String("PUB_STATIC_IN_GLOBAL_WILL_REMOVE"),
+            ]),
+            "span_begin_line": Uint64(2),
+            "span_filename": String("src/lib.rs"),
+            "visibility_limit": String("public"),
+        },
+        {
+            "name": String("PUB_STATIC_IN_GLOBAL_WILL_RENAME"),
+            "path": List([
+                String("pub_static_missing"),
+                String("PUB_STATIC_IN_GLOBAL_WILL_RENAME"),
+            ]),
+            "span_begin_line": Uint64(3),
+            "span_filename": String("src/lib.rs"),
+            "visibility_limit": String("public"),
+        },
+        {
+            "name": String("PUB_STATIC_IN_GLOBAL_WILL_BE_PRIVATE_CONST"),
+            "path": List([
+                String("pub_static_missing"),
+                String("PUB_STATIC_IN_GLOBAL_WILL_BE_PRIVATE_CONST"),
+            ]),
+            "span_begin_line": Uint64(5),
+            "span_filename": String("src/lib.rs"),
+            "visibility_limit": String("public"),
+        },
+        {
+            "name": String("PUB_STATIC_IN_GLOBAL_WILL_BE_PRIVATE_STATIC"),
+            "path": List([
+                String("pub_static_missing"),
+                String("PUB_STATIC_IN_GLOBAL_WILL_BE_PRIVATE_STATIC"),
+            ]),
+            "span_begin_line": Uint64(6),
+            "span_filename": String("src/lib.rs"),
+            "visibility_limit": String("public"),
+        },
+        {
+            "name": String("PUB_STATIC_IN_MODULE_WILL_REMOVE"),
+            "path": List([
+                String("pub_static_missing"),
+                String("my_module"),
+                String("PUB_STATIC_IN_MODULE_WILL_REMOVE"),
+            ]),
+            "span_begin_line": Uint64(10),
+            "span_filename": String("src/lib.rs"),
+            "visibility_limit": String("public"),
+        },
+        {
+            "name": String("PUB_STATIC_IN_MODULE_WILL_RENAME"),
+            "path": List([
+                String("pub_static_missing"),
+                String("my_module"),
+                String("PUB_STATIC_IN_MODULE_WILL_RENAME"),
+            ]),
+            "span_begin_line": Uint64(11),
+            "span_filename": String("src/lib.rs"),
+            "visibility_limit": String("public"),
+        },
+        {
+            "name": String("PUB_STATIC_IN_MODULE_WILL_BE_PRIVATE_CONST"),
+            "path": List([
+                String("pub_static_missing"),
+                String("my_module"),
+                String("PUB_STATIC_IN_MODULE_WILL_BE_PRIVATE_CONST"),
+            ]),
+            "span_begin_line": Uint64(13),
+            "span_filename": String("src/lib.rs"),
+            "visibility_limit": String("public"),
+        },
+        {
+            "name": String("PUB_STATIC_IN_MODULE_WILL_BE_PRIVATE_STATIC"),
+            "path": List([
+                String("pub_static_missing"),
+                String("my_module"),
+                String("PUB_STATIC_IN_MODULE_WILL_BE_PRIVATE_STATIC"),
+            ]),
+            "span_begin_line": Uint64(14),
+            "span_filename": String("src/lib.rs"),
+            "visibility_limit": String("public"),
+        },
+        {
+            "name": String("PUB_STATIC_IN_NESTED_MODULE_WILL_REMOVE"),
+            "path": List([
+                String("pub_static_missing"),
+                String("my_module"),
+                String("my_module_nested"),
+                String("PUB_STATIC_IN_NESTED_MODULE_WILL_REMOVE"),
+            ]),
+            "span_begin_line": Uint64(20),
+            "span_filename": String("src/lib.rs"),
+            "visibility_limit": String("public"),
+        },
+        {
+            "name": String("PUB_STATIC_IN_NESTED_MODULE_WILL_RENAME"),
+            "path": List([
+                String("pub_static_missing"),
+                String("my_module"),
+                String("my_module_nested"),
+                String("PUB_STATIC_IN_NESTED_MODULE_WILL_RENAME"),
+            ]),
+            "span_begin_line": Uint64(21),
+            "span_filename": String("src/lib.rs"),
+            "visibility_limit": String("public"),
+        },
+        {
+            "name": String("PUB_STATIC_IN_NESTED_MODULE_WILL_BE_PRIVATE_CONST"),
+            "path": List([
+                String("pub_static_missing"),
+                String("my_module"),
+                String("my_module_nested"),
+                String("PUB_STATIC_IN_NESTED_MODULE_WILL_BE_PRIVATE_CONST"),
+            ]),
+            "span_begin_line": Uint64(23),
+            "span_filename": String("src/lib.rs"),
+            "visibility_limit": String("public"),
+        },
+        {
+            "name": String("PUB_STATIC_IN_NESTED_MODULE_WILL_BE_PRIVATE_STATIC"),
+            "path": List([
+                String("pub_static_missing"),
+                String("my_module"),
+                String("my_module_nested"),
+                String("PUB_STATIC_IN_NESTED_MODULE_WILL_BE_PRIVATE_STATIC"),
+            ]),
+            "span_begin_line": Uint64(24),
+            "span_filename": String("src/lib.rs"),
+            "visibility_limit": String("public"),
+        },
+    ],
+}